@inproceedings{DBLP:conf/ijcai/HustadtS99,
  author       = {Ullrich Hustadt and
                  Renate A. Schmidt},
  editor       = {Thomas Dean},
  title        = {On the Relation of Resolution and Tableaux Proof Systems for Description
                  Logics},
  booktitle    = {Proceedings of the Sixteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 99, Stockholm, Sweden, July 31 - August 6, 1999.
                  2 Volumes, 1450 pages},
  pages        = {110--117},
  publisher    = {Morgan Kaufmann},
  year         = {1999},
  url          = {http://ijcai.org/Proceedings/99-1/Papers/017.pdf},
  timestamp    = {Tue, 20 Aug 2019 16:18:16 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/HustadtS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"RgqTZyqWkCiRagiz2","bibbaseid":"hustadt-schmidt-ontherelationofresolutionandtableauxproofsystemsfordescriptionlogics-1999","author_short":["Hustadt, U.","Schmidt, R. A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Ullrich"],"propositions":[],"lastnames":["Hustadt"],"suffixes":[]},{"firstnames":["Renate","A."],"propositions":[],"lastnames":["Schmidt"],"suffixes":[]}],"editor":[{"firstnames":["Thomas"],"propositions":[],"lastnames":["Dean"],"suffixes":[]}],"title":"On the Relation of Resolution and Tableaux Proof Systems for Description Logics","booktitle":"Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI 99, Stockholm, Sweden, July 31 - August 6, 1999. 2 Volumes, 1450 pages","pages":"110–117","publisher":"Morgan Kaufmann","year":"1999","url":"http://ijcai.org/Proceedings/99-1/Papers/017.pdf","timestamp":"Tue, 20 Aug 2019 16:18:16 +0200","biburl":"https://dblp.org/rec/conf/ijcai/HustadtS99.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/ijcai/HustadtS99,\n author = {Ullrich Hustadt and\n Renate A. Schmidt},\n editor = {Thomas Dean},\n title = {On the Relation of Resolution and Tableaux Proof Systems for Description\n Logics},\n booktitle = {Proceedings of the Sixteenth International Joint Conference on Artificial\n Intelligence, {IJCAI} 99, Stockholm, Sweden, July 31 - August 6, 1999.\n 2 Volumes, 1450 pages},\n pages = {110--117},\n publisher = {Morgan Kaufmann},\n year = {1999},\n url = {http://ijcai.org/Proceedings/99-1/Papers/017.pdf},\n timestamp = {Tue, 20 Aug 2019 16:18:16 +0200},\n biburl = {https://dblp.org/rec/conf/ijcai/HustadtS99.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Hustadt, U.","Schmidt, R. A."],"editor_short":["Dean, T."],"key":"DBLP:conf/ijcai/HustadtS99","id":"DBLP:conf/ijcai/HustadtS99","bibbaseid":"hustadt-schmidt-ontherelationofresolutionandtableauxproofsystemsfordescriptionlogics-1999","role":"author","urls":{"Paper":"http://ijcai.org/Proceedings/99-1/Papers/017.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://cgi.csc.liv.ac.uk/~ullrich/publications/all.bib?authorFirst=1","dataSources":["WhiGijHmCtTSdLaAj","FgmYE34DdKWThg2dR"],"keywords":[],"search_terms":["relation","resolution","tableaux","proof","systems","description","logics","hustadt","schmidt"],"title":"On the Relation of Resolution and Tableaux Proof Systems for Description Logics","year":1999}