@article{DBLP:journals/jar/Hidalgo-DobladoABMR14,
  author    = {Mar{\'{\i}}a{-}Jos{\'{e}} Hidalgo{-}Doblado and
               Jos{\'{e}} A. Alonso{-}Jim{\'{e}}nez and
               Joaqu{\'{\i}}n Borrego{-}D{\'{\i}}az and
               Francisco{-}Jes{\'{u}}s Mart{\'{\i}}n{-}Mateos and
               Jos{\'{e}}{-}Luis Ruiz{-}Reina},
  title     = {Formally Verified Tableau-Based Reasoners for a Description Logic},
  journal   = {J. Autom. Reason.},
  volume    = {52},
  number    = {3},
  pages     = {331--360},
  year      = {2014},
  url       = {https://doi.org/10.1007/s10817-013-9291-8},
  doi       = {10.1007/s10817-013-9291-8},
  timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jar/Hidalgo-DobladoABMR14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"5tgTq2sjptftJQGHM","bibbaseid":"hidalgodoblado-alonsojimnez-borregodaz-martnmateos-ruizreina-formallyverifiedtableaubasedreasonersforadescriptionlogic-2014","authorIDs":[],"author_short":["Hidalgo-Doblado, M.","Alonso-Jiménez, J. A.","Borrego-Díaz, J.","Martín-Mateos, F.","Ruiz-Reina, J."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["María-José"],"propositions":[],"lastnames":["Hidalgo-Doblado"],"suffixes":[]},{"firstnames":["José","A."],"propositions":[],"lastnames":["Alonso-Jiménez"],"suffixes":[]},{"firstnames":["Joaquín"],"propositions":[],"lastnames":["Borrego-Díaz"],"suffixes":[]},{"firstnames":["Francisco-Jesús"],"propositions":[],"lastnames":["Martín-Mateos"],"suffixes":[]},{"firstnames":["José-Luis"],"propositions":[],"lastnames":["Ruiz-Reina"],"suffixes":[]}],"title":"Formally Verified Tableau-Based Reasoners for a Description Logic","journal":"J. Autom. Reason.","volume":"52","number":"3","pages":"331–360","year":"2014","url":"https://doi.org/10.1007/s10817-013-9291-8","doi":"10.1007/s10817-013-9291-8","timestamp":"Wed, 02 Sep 2020 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/jar/Hidalgo-DobladoABMR14.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/jar/Hidalgo-DobladoABMR14,\n author = {Mar{\\'{\\i}}a{-}Jos{\\'{e}} Hidalgo{-}Doblado and\n Jos{\\'{e}} A. Alonso{-}Jim{\\'{e}}nez and\n Joaqu{\\'{\\i}}n Borrego{-}D{\\'{\\i}}az and\n Francisco{-}Jes{\\'{u}}s Mart{\\'{\\i}}n{-}Mateos and\n Jos{\\'{e}}{-}Luis Ruiz{-}Reina},\n title = {Formally Verified Tableau-Based Reasoners for a Description Logic},\n journal = {J. Autom. Reason.},\n volume = {52},\n number = {3},\n pages = {331--360},\n year = {2014},\n url = {https://doi.org/10.1007/s10817-013-9291-8},\n doi = {10.1007/s10817-013-9291-8},\n timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/jar/Hidalgo-DobladoABMR14.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Hidalgo-Doblado, M.","Alonso-Jiménez, J. A.","Borrego-Díaz, J.","Martín-Mateos, F.","Ruiz-Reina, J."],"key":"DBLP:journals/jar/Hidalgo-DobladoABMR14","id":"DBLP:journals/jar/Hidalgo-DobladoABMR14","bibbaseid":"hidalgodoblado-alonsojimnez-borregodaz-martnmateos-ruizreina-formallyverifiedtableaubasedreasonersforadescriptionlogic-2014","role":"author","urls":{"Paper":"https://doi.org/10.1007/s10817-013-9291-8"},"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:18.689Z","downloads":0,"keywords":[],"search_terms":["formally","verified","tableau","based","reasoners","description","logic","hidalgo-doblado","alonso-jiménez","borrego-díaz","martín-mateos","ruiz-reina"],"title":"Formally Verified Tableau-Based Reasoners for a Description Logic","year":2014,"dataSources":["jY3Qd7SvX7QP2zSXh"]}