@article{DBLP:journals/amai/Ruiz-ReinaAHM02,
  author    = {Jos{\'{e}}{-}Luis Ruiz{-}Reina and
               Jos{\'{e}}{-}Antonio Alonso and
               Mar{\'{\i}}a{-}Jos{\'{e}} Hidalgo and
               Francisco{-}Jes{\'{u}}s Mart{\'{\i}}n{-}Mateos},
  title     = {Formal Proofs About Rewriting Using {ACL2}},
  journal   = {Ann. Math. Artif. Intell.},
  volume    = {36},
  number    = {3},
  pages     = {239--262},
  year      = {2002},
  url       = {https://doi.org/10.1023/A:1016003314081},
  doi       = {10.1023/A:1016003314081},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/amai/Ruiz-ReinaAHM02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"NEWAwAbSJeM3f2W6Z","bibbaseid":"ruizreina-alonso-hidalgo-martnmateos-formalproofsaboutrewritingusingacl2-2002","authorIDs":[],"author_short":["Ruiz-Reina, J.","Alonso, J.","Hidalgo, M.","Martín-Mateos, F."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["José-Luis"],"propositions":[],"lastnames":["Ruiz-Reina"],"suffixes":[]},{"firstnames":["José-Antonio"],"propositions":[],"lastnames":["Alonso"],"suffixes":[]},{"firstnames":["María-José"],"propositions":[],"lastnames":["Hidalgo"],"suffixes":[]},{"firstnames":["Francisco-Jesús"],"propositions":[],"lastnames":["Martín-Mateos"],"suffixes":[]}],"title":"Formal Proofs About Rewriting Using ACL2","journal":"Ann. Math. Artif. Intell.","volume":"36","number":"3","pages":"239–262","year":"2002","url":"https://doi.org/10.1023/A:1016003314081","doi":"10.1023/A:1016003314081","timestamp":"Mon, 05 Jun 2017 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/amai/Ruiz-ReinaAHM02.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/amai/Ruiz-ReinaAHM02,\n author = {Jos{\\'{e}}{-}Luis Ruiz{-}Reina and\n Jos{\\'{e}}{-}Antonio Alonso and\n Mar{\\'{\\i}}a{-}Jos{\\'{e}} Hidalgo and\n Francisco{-}Jes{\\'{u}}s Mart{\\'{\\i}}n{-}Mateos},\n title = {Formal Proofs About Rewriting Using {ACL2}},\n journal = {Ann. Math. Artif. Intell.},\n volume = {36},\n number = {3},\n pages = {239--262},\n year = {2002},\n url = {https://doi.org/10.1023/A:1016003314081},\n doi = {10.1023/A:1016003314081},\n timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/amai/Ruiz-ReinaAHM02.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Ruiz-Reina, J.","Alonso, J.","Hidalgo, M.","Martín-Mateos, F."],"key":"DBLP:journals/amai/Ruiz-ReinaAHM02","id":"DBLP:journals/amai/Ruiz-ReinaAHM02","bibbaseid":"ruizreina-alonso-hidalgo-martnmateos-formalproofsaboutrewritingusingacl2-2002","role":"author","urls":{"Paper":"https://doi.org/10.1023/A:1016003314081"},"downloads":0},"bibtype":"article","biburl":"https://dblp.org/search/publ/api?format=bib&h=1000&q=author:José_R._Álvarez:|author:Margarita_Bachiller:|author:Margarita_Bachiller_Mayoral:|author:Enrique_J._Carmona:|author:José_Manuel_Cuadra_Troncoso:|author:José_Luis_Fernández-Vindel:|author:Carolina_Mañoso:|author:Rafael_Martínez-Tomás:|author:Félix_de_la_Paz:|author:Angel_Pérez_de_Madrid:|author:Mariano_Rincón:|author:Miguel_Romero_0003:|author:Miguel_Romero_Hortelano:","creationDate":"2020-09-24T15:30:19.191Z","downloads":0,"keywords":[],"search_terms":["formal","proofs","rewriting","using","acl2","ruiz-reina","alonso","hidalgo","martín-mateos"],"title":"Formal Proofs About Rewriting Using ACL2","year":2002,"dataSources":["jY3Qd7SvX7QP2zSXh"]}