%0 Journal Article %1 journals/jar/Martin-MateosRAH11 %A Martín-Mateos, Francisco-Jesús %A Ruiz-Reina, José-Luis %A Alonso, José-Antonio %A Hidalgo, María-José %D 2011 %J J. Autom. Reason. %K dblp %N 3 %P 229-250 %T Proof Pearl: a Formal Proof of Higman's Lemma in ACL2. %U http://dblp.uni-trier.de/db/journals/jar/jar47.html#Martin-MateosRAH11 %V 47

@article{journals/jar/Martin-MateosRAH11, added-at = {2020-09-02T00:00:00.000+0200}, author = {Martín-Mateos, Francisco-Jesús and Ruiz-Reina, José-Luis and Alonso, José-Antonio and Hidalgo, María-José}, biburl = {https://www.bibsonomy.org/bibtex/295b028624becf663754f5d0105a252df/dblp}, ee = {https://doi.org/10.1007/s10817-010-9178-x}, interhash = {18d5af5d9d939d469120d6ac3e50f388}, intrahash = {95b028624becf663754f5d0105a252df}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = 3, pages = {229-250}, timestamp = {2020-09-09T13:34:51.000+0200}, title = {Proof Pearl: a Formal Proof of Higman's Lemma in ACL2.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar47.html#Martin-MateosRAH11}, volume = 47, year = 2011 }