@inproceedings{ dblp3550819,
  title = {A Model Elimination Calculus with Built-in Theories},
  author = {Peter Baumgartner},
  author_short = {Baumgartner, P.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {1992},
  key = {dblp3550819},
  id = {dblp3550819},
  biburl = {http://www.dblp.org/rec/bibtex/conf/ki/Baumgartner92},
  url = {http://dx.doi.org/10.1007/BFb0018990},
  conference = {GWAI},
  pages = {30-42},
  text = {GWAI 1992:30-42},
  booktitle = {Proceedings of German Workshop on Artificial Intelligence (GWAI)}
}

{"_id":{"_str":"525ba8cb7e98fada740000a3"},"__v":0,"authorIDs":[],"author_short":["Baumgartner, P."],"bibbaseid":"baumgartner-amodeleliminationcalculuswithbuiltintheories-1992","bibdata":{"html":"<div class=\"bibbase_paper\">\n\n\n<span class=\"bibbase_paper_titleauthoryear\">\n\t<span class=\"bibbase_paper_title\"><a name=\"dblp3550819\"> </a>A Model Elimination Calculus with Built-in Theories.</span>\n\t<span class=\"bibbase_paper_author\">\nBaumgartner, P.</span>\n\t<!-- <span class=\"bibbase_paper_year\">1992</span>. -->\n</span>\n\n\n\nIn\n<i>Proceedings of German Workshop on Artificial Intelligence (GWAI)</i>, page 30-42, 1992.\n\n\n\n\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content\">\n \n \n <!-- <i -->\n <!-- onclick=\"javascript:log_download('baumgartner-amodeleliminationcalculuswithbuiltintheories-1992', 'http://dx.doi.org/10.1007/BFb0018990')\">DEBUG -->\n <!-- </i> -->\n\n <a href=\"http://dx.doi.org/10.1007/BFb0018990\"\n onclick=\"javascript:log_download('baumgartner-amodeleliminationcalculuswithbuiltintheories-1992', 'http://dx.doi.org/10.1007/BFb0018990')\">\n <img src=\"http://bibbase.org/img/filetypes/blank.png\"\n\t alt=\"A Model Elimination Calculus with Built-in Theories [.1007/BFb0018990]\" \n\t class=\"bibbase_icon\"\n\t style=\"width: 24px; height: 24px; border: 0px; vertical-align: text-top\" ><span class=\"bibbase_icon_text\">Paper</span></a> \n \n \n <a href=\"javascript:showBib('dblp3550819')\">\n <img src=\"http://bibbase.org/img/filetypes/bib.png\" \n\t alt=\"A Model Elimination Calculus with Built-in Theories [bib]\" \n\t class=\"bibbase_icon\"\n\t style=\"width: 24px; height: 24px; border: 0px; vertical-align: text-top\"><span class=\"bibbase_icon_text\">Bibtex</span></a>\n \n &nbsp; \n\n \n \n &nbsp;\n \n \n\n \n \n</span>\n\n<!-- -->\n\n</div>\n","downloads":0,"bibbaseid":"baumgartner-amodeleliminationcalculuswithbuiltintheories-1992","urls":{"Paper":"http://dx.doi.org/10.1007/BFb0018990"},"role":"author","bibtex":"@inproceedings{ dblp3550819,\n title = {A Model Elimination Calculus with Built-in Theories},\n author = {Peter Baumgartner},\n author_short = {Baumgartner, P.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {1992},\n key = {dblp3550819},\n id = {dblp3550819},\n biburl = {http://www.dblp.org/rec/bibtex/conf/ki/Baumgartner92},\n url = {http://dx.doi.org/10.1007/BFb0018990},\n conference = {GWAI},\n pages = {30-42},\n text = {GWAI 1992:30-42},\n booktitle = {Proceedings of German Workshop on Artificial Intelligence (GWAI)}\n}","booktitle":"Proceedings of German Workshop on Artificial Intelligence (GWAI)","text":"GWAI 1992:30-42","pages":"30-42","conference":"GWAI","url":"http://dx.doi.org/10.1007/BFb0018990","biburl":"http://www.dblp.org/rec/bibtex/conf/ki/Baumgartner92","id":"dblp3550819","key":"dblp3550819","year":"1992","type":"inproceedings","bibtype":"inproceedings","author_short":["Baumgartner, P."],"author":["Peter Baumgartner"],"title":"A Model Elimination Calculus with Built-in Theories"},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/ki/Baumgartner92","downloads":0,"search_terms":["model","elimination","calculus","built","theories","baumgartner"],"title":"A Model Elimination Calculus with Built-in Theories","year":1992,"dataSources":["wSeoDJeGac9qjjxW9"]}