@Proceedings{Fronhoefer1992,
		  title     = {Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universit{\"{a}}t Karlsruhe, Fakult{\"{a}}t f{\"{u}}r Informatik, Institut f{\"{u}}r Logik, Komplexit{\"{a}}t und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992},
		    year      = {1992},
			  editor    = {Bertram Fronh{\"{o}}fer and Reiner H{\"{a}}hnle and Thomas K{\"{a}}ufl},
			    bibsource = {dblp computer science bibliography, http://dblp.org},
				  biburl    = {http://dblp.dagstuhl.de/rec/bib/conf/tableaux/1992},
}

{"_id":"s6QQMyWd8HyDaoHZC","bibbaseid":"fronhfer-hhnle-kufl-workshoptheoremprovingwithanalytictableauxandrelatedmethodslautenbachuniversittkarlsruhefakulttfrinformatikinstitutfrlogikkomplexittunddeduktionssystemeinternerbericht892march18201992-1992","authorIDs":[],"bibdata":{"bibtype":"proceedings","type":"proceedings","title":"Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992","year":"1992","editor":[{"firstnames":["Bertram"],"propositions":[],"lastnames":["Fronhöfer"],"suffixes":[]},{"firstnames":["Reiner"],"propositions":[],"lastnames":["Hähnle"],"suffixes":[]},{"firstnames":["Thomas"],"propositions":[],"lastnames":["Käufl"],"suffixes":[]}],"bibsource":"dblp computer science bibliography, http://dblp.org","biburl":"http://dblp.dagstuhl.de/rec/bib/conf/tableaux/1992","bibtex":"@Proceedings{Fronhoefer1992,\n\t\t title = {Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universit{\\\"{a}}t Karlsruhe, Fakult{\\\"{a}}t f{\\\"{u}}r Informatik, Institut f{\\\"{u}}r Logik, Komplexit{\\\"{a}}t und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992},\n\t\t year = {1992},\n\t\t\t editor = {Bertram Fronh{\\\"{o}}fer and Reiner H{\\\"{a}}hnle and Thomas K{\\\"{a}}ufl},\n\t\t\t bibsource = {dblp computer science bibliography, http://dblp.org},\n\t\t\t\t biburl = {http://dblp.dagstuhl.de/rec/bib/conf/tableaux/1992},\n}\n\n","editor_short":["Fronhöfer, B.","Hähnle, R.","Käufl, T."],"key":"Fronhoefer1992","id":"Fronhoefer1992","bibbaseid":"fronhfer-hhnle-kufl-workshoptheoremprovingwithanalytictableauxandrelatedmethodslautenbachuniversittkarlsruhefakulttfrinformatikinstitutfrlogikkomplexittunddeduktionssystemeinternerbericht892march18201992-1992","role":"editor","urls":{},"downloads":0,"html":""},"bibtype":"proceedings","biburl":"https://cs.stanford.edu/~yoniz/test.bib","creationDate":"2019-07-02T21:19:47.867Z","downloads":0,"keywords":[],"search_terms":["workshop","theorem","proving","analytic","tableaux","related","methods","lautenbach","universit","karlsruhe","fakult","informatik","institut","logik","komplexit","und","deduktionssysteme","interner","bericht","march","1992"],"title":"Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992","year":1992,"dataSources":["ChWnbF8EqSa8nccMs"]}