%0 Journal Article %1 journals/corr/HerasKJM13 %A Heras, Jónathan %A Komendantskaya, Ekaterina %A Johansson, Moa %A Maclean, Ewen %D 2013 %J CoRR %K %T Proof-Pattern Recognition in ACL2. %U http://dblp.uni-trier.de/db/journals/corr/corr1308.html#HerasKJM13 %V abs/1308.1780

@article{journals/corr/HerasKJM13, added-at = {2023-12-13T00:11:08.000+0100}, author = {Heras, Jónathan and Komendantskaya, Ekaterina and Johansson, Moa and Maclean, Ewen}, biburl = {https://www.bibsonomy.org/bibtex/2d1dbc1ae77d2a5db0c1f81a3d3620de7/admin}, ee = {http://arxiv.org/abs/1308.1780}, interhash = {5ff035581bfbf4fbbab690a4dea73056}, intrahash = {d1dbc1ae77d2a5db0c1f81a3d3620de7}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-13T00:11:08.000+0100}, title = {Proof-Pattern Recognition in ACL2.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1308.html#HerasKJM13}, volume = {abs/1308.1780}, year = 2013 }