@book{Talk164,
	OPTAuthor = {Frank Theiss and Christoph Benzm{\"u}ller},
	Keywords = {presentation, poster presentations},
	Publisher = {Deduktionstreffen},
	Title = {Term Indexing for the LEO-II Prover (poster)},
	Year = 2007}

{"_id":"2PGrEdikzXBbaem8d","bibbaseid":"anonymous-termindexingfortheleoiiproverposter-2007","bibdata":{"bibtype":"book","type":"book","optauthor":"Frank Theiss and Christoph Benzmüller","keywords":"presentation, poster presentations","publisher":"Deduktionstreffen","title":"Term Indexing for the LEO-II Prover (poster)","year":"2007","bibtex":"@book{Talk164,\n\tOPTAuthor = {Frank Theiss and Christoph Benzm{\\\"u}ller},\n\tKeywords = {presentation, poster presentations},\n\tPublisher = {Deduktionstreffen},\n\tTitle = {Term Indexing for the LEO-II Prover (poster)},\n\tYear = 2007}\n\n","key":"Talk164","id":"Talk164","bibbaseid":"anonymous-termindexingfortheleoiiproverposter-2007","role":"","urls":{},"keyword":["presentation","poster presentations"],"metadata":{"authorlinks":{}}},"bibtype":"book","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/talks.bib","dataSources":["WsTqYPsrMFQRGk3Ku"],"keywords":["presentation","poster presentations"],"search_terms":["term","indexing","leo","prover","poster"],"title":"Term Indexing for the LEO-II Prover (poster)","year":2007}