Living Book - Deduction, Slicing, and Interaction. Baumgartner, P., Furbach, U., Groß-Hardt, M., & Sinner, A. J. Autom. Reasoning (JAR), 32(3):259-286, 2004. ![Living Book - Deduction, Slicing, and Interaction [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper bibtex @article{ dblp2926431,
title = {Living Book - Deduction, Slicing, and Interaction},
author = {Peter Baumgartner and Ulrich Furbach and Margret Groß-Hardt and Alex Sinner},
author_short = {Baumgartner, P. and Furbach, U. and Groß-Hardt, M. and Sinner, A.},
bibtype = {article},
type = {article},
year = {2004},
key = {dblp2926431},
id = {dblp2926431},
biburl = {http://www.dblp.org/rec/bibtex/journals/jar/BaumgartnerFGS04},
url = {http://dx.doi.org/10.1023/B:JARS.0000044872.51237.c9},
journal = {J. Autom. Reasoning (JAR)},
pages = {259-286},
number = {3},
volume = {32},
text = {J. Autom. Reasoning (JAR) 32(3):259-286 (2004)}
}
Downloads: 0
{"_id":{"_str":"525ba8cb7e98fada740000ab"},"__v":0,"authorIDs":[],"author_short":["Baumgartner, P.","Furbach, U.","Groß-Hardt, M.","Sinner, A."],"bibbaseid":"baumgartner-furbach-grohardt-sinner-livingbookdeductionslicingandinteraction-2004","bibdata":{"html":"<div class=\"bibbase_paper\">\n\n\n<span class=\"bibbase_paper_titleauthoryear\">\n\t<span class=\"bibbase_paper_title\"><a name=\"dblp2926431\"> </a>Living Book - Deduction, Slicing, and Interaction.</span>\n\t<span class=\"bibbase_paper_author\">\nBaumgartner, P.; Furbach, U.; Groß-Hardt, M.; and Sinner, A.</span>\n\t<!-- <span class=\"bibbase_paper_year\">2004</span>. -->\n</span>\n\n\n\n<i>J. Autom. Reasoning (JAR)</i>,\n\n32(3):259-286.\n\n 2004.\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-grohardt-sinner-livingbookdeductionslicingandinteraction-2004', 'http://dx.doi.org/10.1023/B:JARS.0000044872.51237.c9')\">DEBUG -->\n <!-- </i> -->\n\n <a href=\"http://dx.doi.org/10.1023/B:JARS.0000044872.51237.c9\"\n onclick=\"javascript:log_download('baumgartner-furbach-grohardt-sinner-livingbookdeductionslicingandinteraction-2004', 'http://dx.doi.org/10.1023/B:JARS.0000044872.51237.c9')\">\n <img src=\"http://bibbase.org/img/filetypes/blank.png\"\n\t alt=\"Living Book - Deduction, Slicing, and Interaction [.c9]\" \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('dblp2926431')\">\n <img src=\"http://bibbase.org/img/filetypes/bib.png\" \n\t alt=\"Living Book - Deduction, Slicing, and Interaction [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-grohardt-sinner-livingbookdeductionslicingandinteraction-2004","urls":{"Paper":"http://dx.doi.org/10.1023/B:JARS.0000044872.51237.c9"},"role":"author","bibtex":"@article{ dblp2926431,\n title = {Living Book - Deduction, Slicing, and Interaction},\n author = {Peter Baumgartner and Ulrich Furbach and Margret Groß-Hardt and Alex Sinner},\n author_short = {Baumgartner, P. and Furbach, U. and Groß-Hardt, M. and Sinner, A.},\n bibtype = {article},\n type = {article},\n year = {2004},\n key = {dblp2926431},\n id = {dblp2926431},\n biburl = {http://www.dblp.org/rec/bibtex/journals/jar/BaumgartnerFGS04},\n url = {http://dx.doi.org/10.1023/B:JARS.0000044872.51237.c9},\n journal = {J. Autom. Reasoning (JAR)},\n pages = {259-286},\n number = {3},\n volume = {32},\n text = {J. Autom. Reasoning (JAR) 32(3):259-286 (2004)}\n}","text":"J. Autom. Reasoning (JAR) 32(3):259-286 (2004)","volume":"32","number":"3","pages":"259-286","journal":"J. Autom. Reasoning (JAR)","url":"http://dx.doi.org/10.1023/B:JARS.0000044872.51237.c9","biburl":"http://www.dblp.org/rec/bibtex/journals/jar/BaumgartnerFGS04","id":"dblp2926431","key":"dblp2926431","year":"2004","type":"article","bibtype":"article","author_short":["Baumgartner, P.","Furbach, U.","Groß-Hardt, M.","Sinner, A."],"author":["Peter Baumgartner","Ulrich Furbach","Margret Groß-Hardt","Alex Sinner"],"title":"Living Book - Deduction, Slicing, and Interaction"},"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/jar/BaumgartnerFGS04","downloads":0,"search_terms":["living","book","deduction","slicing","interaction","baumgartner","furbach","groß-hardt","sinner"],"title":"Living Book - Deduction, Slicing, and Interaction","year":2004,"dataSources":["apMuCvvdDupwm2zT3"]}