TY  - RPRT
TI  - Mining State-Based Models from Proof Corpora
AU  - Thomas Gransden
AU  - Neil Walkinshaw
AU  - Rajeev Raman
PY  - 2014
UR  - https://arxiv.org/abs/1405.3623
ID  - 1405.3623
ER  -