@inproceedings{beeson2004b,
	author = {Michael Beeson},
	booktitle = {Proceedings of the ESFOR workshop at IJCAR 2004},
	date-added = {2014-11-17 17:33:33 +0000},
	date-modified = {2014-11-17 17:37:46 +0000},
	editor = {Geoff Sutcliffe and Stephan Schulz and Tanel Tammet},
	keywords = {Automated deduction, Otter},
	title = {Otter-lambda, a theorem-prover with untyped lambda-unification},
	url_pdf = {esfor.pdf},
	year = {2004}}

{"_id":"9w8GqyPbLCt6DhTwz","authorIDs":["TqZdHatzyaM88iEPt"],"author_short":["Beeson, M."],"bibbaseid":"beeson-otterlambdaatheoremproverwithuntypedlambdaunification-2004","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]}],"booktitle":"Proceedings of the ESFOR workshop at IJCAR 2004","date-added":"2014-11-17 17:33:33 +0000","date-modified":"2014-11-17 17:37:46 +0000","editor":[{"firstnames":["Geoff"],"propositions":[],"lastnames":["Sutcliffe"],"suffixes":[]},{"firstnames":["Stephan"],"propositions":[],"lastnames":["Schulz"],"suffixes":[]},{"firstnames":["Tanel"],"propositions":[],"lastnames":["Tammet"],"suffixes":[]}],"keywords":"Automated deduction, Otter","title":"Otter-lambda, a theorem-prover with untyped lambda-unification","url_pdf":"esfor.pdf","year":"2004","bibtex":"@inproceedings{beeson2004b,\n\tauthor = {Michael Beeson},\n\tbooktitle = {Proceedings of the ESFOR workshop at IJCAR 2004},\n\tdate-added = {2014-11-17 17:33:33 +0000},\n\tdate-modified = {2014-11-17 17:37:46 +0000},\n\teditor = {Geoff Sutcliffe and Stephan Schulz and Tanel Tammet},\n\tkeywords = {Automated deduction, Otter},\n\ttitle = {Otter-lambda, a theorem-prover with untyped lambda-unification},\n\turl_pdf = {esfor.pdf},\n\tyear = {2004}}\n\n","author_short":["Beeson, M."],"editor_short":["Sutcliffe, G.","Schulz, S.","Tammet, T."],"key":"beeson2004b","id":"beeson2004b","bibbaseid":"beeson-otterlambdaatheoremproverwithuntypedlambdaunification-2004","role":"author","urls":{" pdf":"http://www.michaelbeeson.com/research/papers/esfor.pdf"},"keyword":["Automated deduction","Otter"],"metadata":{"authorlinks":{"beeson, m":"http://michaelbeeson.com/"}}},"bibtype":"inproceedings","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","creationDate":"2014-11-17T17:48:00.484Z","downloads":0,"keywords":["automated deduction","otter"],"search_terms":["otter","lambda","theorem","prover","untyped","lambda","unification","beeson"],"title":"Otter-lambda, a theorem-prover with untyped lambda-unification","year":2004,"dataSources":["v9esbf6gQ8h64d3NA"]}