Consolution as a Framework for Comparing Calculi. Baumgartner, P. & Furbach, U. In Proceedings of Theorem Proving with Analytic Tableaux and Related Methods (TABLEAUX), pages 11-14, 1992. bibtex @inproceedings{ dblp3565442,
title = {Consolution as a Framework for Comparing Calculi},
author = {Peter Baumgartner and Ulrich Furbach},
author_short = {Baumgartner, P. and Furbach, U.},
bibtype = {inproceedings},
type = {inproceedings},
year = {1992},
key = {dblp3565442},
id = {dblp3565442},
biburl = {http://www.dblp.org/rec/bibtex/conf/tableaux/BaumgartnerF92},
url = {},
conference = {TABLEAUX},
pages = {11-14},
text = {TABLEAUX 1992:11-14},
booktitle = {Proceedings of Theorem Proving with Analytic Tableaux and Related Methods (TABLEAUX)}
}
Downloads: 0
{"_id":{"_str":"525ba8cb7e98fada740000d1"},"__v":0,"authorIDs":[],"author_short":["Baumgartner, P.","Furbach, U."],"bibbaseid":"baumgartner-furbach-consolutionasaframeworkforcomparingcalculi-1992","bibdata":{"html":"<div class=\"bibbase_paper\">\n\n\n<span class=\"bibbase_paper_titleauthoryear\">\n\t<span class=\"bibbase_paper_title\"><a name=\"dblp3565442\"> </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\">1992</span>. -->\n</span>\n\n\n\nIn\n<i>Proceedings of Theorem Proving with Analytic Tableaux and Related Methods (TABLEAUX)</i>, page 11-14, 1992.\n\n\n\n\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content\">\n \n \n \n <a href=\"javascript:showBib('dblp3565442')\">\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 \n\n \n \n \n \n \n\n \n \n</span>\n\n<!-- -->\n\n</div>\n","downloads":0,"bibbaseid":"baumgartner-furbach-consolutionasaframeworkforcomparingcalculi-1992","role":"author","bibtex":"@inproceedings{ dblp3565442,\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 = {inproceedings},\n type = {inproceedings},\n year = {1992},\n key = {dblp3565442},\n id = {dblp3565442},\n biburl = {http://www.dblp.org/rec/bibtex/conf/tableaux/BaumgartnerF92},\n url = {},\n conference = {TABLEAUX},\n pages = {11-14},\n text = {TABLEAUX 1992:11-14},\n booktitle = {Proceedings of Theorem Proving with Analytic Tableaux and Related Methods (TABLEAUX)}\n}","booktitle":"Proceedings of Theorem Proving with Analytic Tableaux and Related Methods (TABLEAUX)","text":"TABLEAUX 1992:11-14","pages":"11-14","conference":"TABLEAUX","url":"","biburl":"http://www.dblp.org/rec/bibtex/conf/tableaux/BaumgartnerF92","id":"dblp3565442","key":"dblp3565442","year":"1992","type":"inproceedings","bibtype":"inproceedings","author_short":["Baumgartner, P.","Furbach, U."],"author":["Peter Baumgartner","Ulrich Furbach"],"title":"Consolution as a Framework for Comparing Calculi"},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/tableaux/BaumgartnerF92","downloads":0,"search_terms":["consolution","framework","comparing","calculi","baumgartner","furbach"],"title":"Consolution as a Framework for Comparing Calculi","year":1992,"dataSources":["fjE8YbxknMd3uFznQ"]}