@article{ dblp3393057,
  title = {A Disjunctive Positive Refinement of Model Elimination and its Application to Subsumption Deletion},
  author = {Peter Baumgartner and Stefan Brüning},
  author_short = {Baumgartner, P. and Brüning, S.},
  bibtype = {article},
  type = {article},
  year = {1997},
  key = {dblp3393057},
  id = {dblp3393057},
  biburl = {http://www.dblp.org/rec/bibtex/journals/jar/BaumgartnerB97},
  url = {http://dx.doi.org/10.1023/A:1005812703468},
  journal = {J. Autom. Reasoning (JAR)},
  pages = {205-262},
  number = {2},
  volume = {19},
  text = {J. Autom. Reasoning (JAR) 19(2):205-262 (1997)}
}

{"_id":{"_str":"525ba8cb7e98fada740000a0"},"__v":0,"authorIDs":[],"author_short":["Baumgartner, P.","Brüning, S."],"bibbaseid":"baumgartner-brning-adisjunctivepositiverefinementofmodeleliminationanditsapplicationtosubsumptiondeletion-1997","bibdata":{"html":"<div class=\"bibbase_paper\">\n\n\n<span class=\"bibbase_paper_titleauthoryear\">\n\t<span class=\"bibbase_paper_title\"><a name=\"dblp3393057\"> </a>A Disjunctive Positive Refinement of Model Elimination and its Application to Subsumption Deletion.</span>\n\t<span class=\"bibbase_paper_author\">\nBaumgartner, P.; and Brüning, S.</span>\n\t<!-- <span class=\"bibbase_paper_year\">1997</span>. -->\n</span>\n\n\n\n<i>J. Autom. Reasoning (JAR)</i>,\n\n19(2):205-262.\n\n 1997.\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-brning-adisjunctivepositiverefinementofmodeleliminationanditsapplicationtosubsumptiondeletion-1997', 'http://dx.doi.org/10.1023/A:1005812703468')\">DEBUG -->\n <!-- </i> -->\n\n <a href=\"http://dx.doi.org/10.1023/A:1005812703468\"\n onclick=\"javascript:log_download('baumgartner-brning-adisjunctivepositiverefinementofmodeleliminationanditsapplicationtosubsumptiondeletion-1997', 'http://dx.doi.org/10.1023/A:1005812703468')\">\n <img src=\"http://bibbase.org/img/filetypes/blank.png\"\n\t alt=\"A Disjunctive Positive Refinement of Model Elimination and its Application to Subsumption Deletion [.1023/A:1005812703468]\" \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('dblp3393057')\">\n <img src=\"http://bibbase.org/img/filetypes/bib.png\" \n\t alt=\"A Disjunctive Positive Refinement of Model Elimination and its Application to Subsumption Deletion [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-brning-adisjunctivepositiverefinementofmodeleliminationanditsapplicationtosubsumptiondeletion-1997","urls":{"Paper":"http://dx.doi.org/10.1023/A:1005812703468"},"role":"author","bibtex":"@article{ dblp3393057,\n title = {A Disjunctive Positive Refinement of Model Elimination and its Application to Subsumption Deletion},\n author = {Peter Baumgartner and Stefan Brüning},\n author_short = {Baumgartner, P. and Brüning, S.},\n bibtype = {article},\n type = {article},\n year = {1997},\n key = {dblp3393057},\n id = {dblp3393057},\n biburl = {http://www.dblp.org/rec/bibtex/journals/jar/BaumgartnerB97},\n url = {http://dx.doi.org/10.1023/A:1005812703468},\n journal = {J. Autom. Reasoning (JAR)},\n pages = {205-262},\n number = {2},\n volume = {19},\n text = {J. Autom. Reasoning (JAR) 19(2):205-262 (1997)}\n}","text":"J. Autom. Reasoning (JAR) 19(2):205-262 (1997)","volume":"19","number":"2","pages":"205-262","journal":"J. Autom. Reasoning (JAR)","url":"http://dx.doi.org/10.1023/A:1005812703468","biburl":"http://www.dblp.org/rec/bibtex/journals/jar/BaumgartnerB97","id":"dblp3393057","key":"dblp3393057","year":"1997","type":"article","bibtype":"article","author_short":["Baumgartner, P.","Brüning, S."],"author":["Peter Baumgartner","Stefan Brüning"],"title":"A Disjunctive Positive Refinement of Model Elimination and its Application to Subsumption Deletion"},"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/jar/BaumgartnerB97","downloads":0,"search_terms":["disjunctive","positive","refinement","model","elimination","application","subsumption","deletion","baumgartner","brüning"],"title":"A Disjunctive Positive Refinement of Model Elimination and its Application to Subsumption Deletion","year":1997,"dataSources":["CiB7K4aMNuucBaeAm"]}