@article{ dblp3533098,
  title = {Consolution as a Framework for Comparing Calculi},
  author = {Peter Baumgartner and Ulrich Furbach},
  author_short = {Baumgartner, P. and Furbach, U.},
  bibtype = {article},
  type = {article},
  year = {1993},
  key = {dblp3533098},
  id = {dblp3533098},
  biburl = {http://www.dblp.org/rec/bibtex/journals/jsc/BaumgartnerF93},
  url = {http://dx.doi.org/10.1006/jsco.1993.1058},
  journal = {J. Symb. Comput. (JSC)},
  pages = {445-477},
  number = {5},
  volume = {16},
  text = {J. Symb. Comput. (JSC) 16(5):445-477 (1993)}
}

{"_id":{"_str":"525ba8cb7e98fada74000093"},"__v":0,"authorIDs":[],"author_short":["Baumgartner, P.","Furbach, U."],"bibbaseid":"baumgartner-furbach-consolutionasaframeworkforcomparingcalculi-1993","bibdata":{"html":"<div class=\"bibbase_paper\">\n\n\n<span class=\"bibbase_paper_titleauthoryear\">\n\t<span class=\"bibbase_paper_title\"><a name=\"dblp3533098\"> </a>Consolution as a Framework for Comparing Calculi.</span>\n\t<span class=\"bibbase_paper_author\">\nBaumgartner, P.; and Furbach, U.</span>\n\t<!-- <span class=\"bibbase_paper_year\">1993</span>. -->\n</span>\n\n\n\n<i>J. Symb. Comput. (JSC)</i>,\n\n16(5):445-477.\n\n 1993.\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-furbach-consolutionasaframeworkforcomparingcalculi-1993', 'http://dx.doi.org/10.1006/jsco.1993.1058')\">DEBUG -->\n <!-- </i> -->\n\n <a href=\"http://dx.doi.org/10.1006/jsco.1993.1058\"\n onclick=\"javascript:log_download('baumgartner-furbach-consolutionasaframeworkforcomparingcalculi-1993', 'http://dx.doi.org/10.1006/jsco.1993.1058')\">\n <img src=\"http://bibbase.org/img/filetypes/blank.png\"\n\t alt=\"Consolution as a Framework for Comparing Calculi [.1058]\" \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('dblp3533098')\">\n <img src=\"http://bibbase.org/img/filetypes/bib.png\" \n\t alt=\"Consolution as a Framework for Comparing Calculi [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-furbach-consolutionasaframeworkforcomparingcalculi-1993","urls":{"Paper":"http://dx.doi.org/10.1006/jsco.1993.1058"},"role":"author","bibtex":"@article{ dblp3533098,\n title = {Consolution as a Framework for Comparing Calculi},\n author = {Peter Baumgartner and Ulrich Furbach},\n author_short = {Baumgartner, P. and Furbach, U.},\n bibtype = {article},\n type = {article},\n year = {1993},\n key = {dblp3533098},\n id = {dblp3533098},\n biburl = {http://www.dblp.org/rec/bibtex/journals/jsc/BaumgartnerF93},\n url = {http://dx.doi.org/10.1006/jsco.1993.1058},\n journal = {J. Symb. Comput. (JSC)},\n pages = {445-477},\n number = {5},\n volume = {16},\n text = {J. Symb. Comput. (JSC) 16(5):445-477 (1993)}\n}","text":"J. Symb. Comput. (JSC) 16(5):445-477 (1993)","volume":"16","number":"5","pages":"445-477","journal":"J. Symb. Comput. (JSC)","url":"http://dx.doi.org/10.1006/jsco.1993.1058","biburl":"http://www.dblp.org/rec/bibtex/journals/jsc/BaumgartnerF93","id":"dblp3533098","key":"dblp3533098","year":"1993","type":"article","bibtype":"article","author_short":["Baumgartner, P.","Furbach, U."],"author":["Peter Baumgartner","Ulrich Furbach"],"title":"Consolution as a Framework for Comparing Calculi"},"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/jsc/BaumgartnerF93","downloads":0,"search_terms":["consolution","framework","comparing","calculi","baumgartner","furbach"],"title":"Consolution as a Framework for Comparing Calculi","year":1993,"dataSources":["jAZRfAr4RnagFam4P"]}