{"_id":"XiRasknQkyuf4BQK2","bibbaseid":"ruizreina-martnmateos-alonso-hidalgo-formalcorrectnessofaquadraticunificationalgorithm-2006","authorIDs":[],"author_short":["Ruiz-Reina, J.","Martín-Mateos, F.","Alonso, J.","Hidalgo, M."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["José-Luis"],"propositions":[],"lastnames":["Ruiz-Reina"],"suffixes":[]},{"firstnames":["Francisco-Jesús"],"propositions":[],"lastnames":["Martín-Mateos"],"suffixes":[]},{"firstnames":["José-Antonio"],"propositions":[],"lastnames":["Alonso"],"suffixes":[]},{"firstnames":["María-José"],"propositions":[],"lastnames":["Hidalgo"],"suffixes":[]}],"title":"Formal Correctness of a Quadratic Unification Algorithm","journal":"J. Autom. Reason.","volume":"37","number":"1-2","pages":"67–92","year":"2006","url":"https://doi.org/10.1007/s10817-006-9030-5","doi":"10.1007/s10817-006-9030-5","timestamp":"Wed, 02 Sep 2020 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/jar/Ruiz-ReinaMAH06.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/jar/Ruiz-ReinaMAH06,\n author = {Jos{\\'{e}}{-}Luis Ruiz{-}Reina and\n Francisco{-}Jes{\\'{u}}s Mart{\\'{\\i}}n{-}Mateos and\n Jos{\\'{e}}{-}Antonio Alonso and\n Mar{\\'{\\i}}a{-}Jos{\\'{e}} Hidalgo},\n title = {Formal Correctness of a Quadratic Unification Algorithm},\n journal = {J. Autom. Reason.},\n volume = {37},\n number = {1-2},\n pages = {67--92},\n year = {2006},\n url = {https://doi.org/10.1007/s10817-006-9030-5},\n doi = {10.1007/s10817-006-9030-5},\n timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/jar/Ruiz-ReinaMAH06.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Ruiz-Reina, J.","Martín-Mateos, F.","Alonso, J.","Hidalgo, M."],"key":"DBLP:journals/jar/Ruiz-ReinaMAH06","id":"DBLP:journals/jar/Ruiz-ReinaMAH06","bibbaseid":"ruizreina-martnmateos-alonso-hidalgo-formalcorrectnessofaquadraticunificationalgorithm-2006","role":"author","urls":{"Paper":"https://doi.org/10.1007/s10817-006-9030-5"},"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.072Z","downloads":0,"keywords":[],"search_terms":["formal","correctness","quadratic","unification","algorithm","ruiz-reina","martín-mateos","alonso","hidalgo"],"title":"Formal Correctness of a Quadratic Unification Algorithm","year":2006,"dataSources":["jY3Qd7SvX7QP2zSXh"]}