TY  - RPRT
TI  - Proof-Pattern Recognition and Lemma Discovery in ACL2
AU  - Jónathan Heras
AU  - Ekaterina Komendantskaya
AU  - Moa Johansson
AU  - Ewen Maclean
PY  - 2013
UR  - https://arxiv.org/abs/1308.1780
ID  - 1308.1780
ER  -