Proof-Pattern Recognition and Lemma Discovery in ACL2 | Publicación