%0 Journal Article %1 journals/amai/Ruiz-ReinaAHM02 %A Ruiz-Reina, José-Luis %A Alonso, José-Antonio %A Hidalgo, María-José %A Martín-Mateos, Francisco-Jesús %D 2002 %J Ann. Math. Artif. Intell. %K dblp %N 3 %P 239-262 %T Formal Proofs About Rewriting Using ACL2. %U http://dblp.uni-trier.de/db/journals/amai/amai36.html#Ruiz-ReinaAHM02 %V 36

@article{journals/amai/Ruiz-ReinaAHM02, added-at = {2011-05-18T00:00:00.000+0200}, author = {Ruiz-Reina, José-Luis and Alonso, José-Antonio and Hidalgo, María-José and Martín-Mateos, Francisco-Jesús}, biburl = {https://www.bibsonomy.org/bibtex/2e8f6e2dd25247a807fd1a40c2a61ec91/dblp}, ee = {http://dx.doi.org/10.1023/A:1016003314081}, interhash = {203320f77305263f592b942a6f3024be}, intrahash = {e8f6e2dd25247a807fd1a40c2a61ec91}, journal = {Ann. Math. Artif. Intell.}, keywords = {dblp}, number = 3, pages = {239-262}, timestamp = {2011-05-19T11:37:54.000+0200}, title = {Formal Proofs About Rewriting Using ACL2.}, url = {http://dblp.uni-trier.de/db/journals/amai/amai36.html#Ruiz-ReinaAHM02}, volume = 36, year = 2002 }