{"_id":"RiNvZgp2bb2wdGc3j","bibbaseid":"hhnle-tableauxandrelatedmethods-2001","authorIDs":[],"author_short":["Hähnle, R."],"bibdata":{"bibtype":"incollection","type":"incollection","author":[{"firstnames":["Reiner"],"propositions":[],"lastnames":["Hähnle"],"suffixes":[]}],"title":"Tableaux and Related Methods","booktitle":"Handbook of Automated Reasoning (in 2 volumes)","publisher":"Elsevier and MIT Press","year":"2001","editor":[{"firstnames":["John","Alan"],"propositions":[],"lastnames":["Robinson"],"suffixes":[]},{"firstnames":["Andrei"],"propositions":[],"lastnames":["Voronkov"],"suffixes":[]}],"pages":"100–178","bibsource":"dblp computer science bibliography, http://dblp.org","biburl":"http://dblp.dagstuhl.de/rec/bib/books/el/RV01/Hahnle01","bibtex":"@InCollection{Haehnle2001,\n\t\t author = {Reiner H{\\\"{a}}hnle},\n\t\t title = {Tableaux and Related Methods},\n\t\t\t booktitle = {Handbook of Automated Reasoning (in 2 volumes)},\n\t\t\t publisher = {Elsevier and {MIT} Press},\n\t\t\t\t year = {2001},\n\t\t\t\t editor = {John Alan Robinson and Andrei Voronkov},\n\t\t\t\t\t pages = {100--178},\n\t\t\t\t\t bibsource = {dblp computer science bibliography, http://dblp.org},\n\t\t\t\t\t\t biburl = {http://dblp.dagstuhl.de/rec/bib/books/el/RV01/Hahnle01},\n}\n\n","author_short":["Hähnle, R."],"editor_short":["Robinson, J. A.","Voronkov, A."],"key":"Haehnle2001","id":"Haehnle2001","bibbaseid":"hhnle-tableauxandrelatedmethods-2001","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"incollection","biburl":"https://cs.stanford.edu/~yoniz/test.bib","creationDate":"2019-07-02T21:19:47.867Z","downloads":0,"keywords":[],"search_terms":["tableaux","related","methods","hähnle"],"title":"Tableaux and Related Methods","year":2001,"dataSources":["ChWnbF8EqSa8nccMs"]}