@unpublished{R27,
  Author =	 {Christoph Benzm{\"u}ller},
  Note =	 {EURYI project proposal},
  Pages =	 {1-37},
  Title =	 {ALONZO: Higher-Order Reasoning Agents for
                  Mathematics},
  url_preprint = {http://christoph-benzmueller.de/papers/R23.pdf},
  Year =	 2004,
}

{"_id":"68MjWrrbKWj8Hz5ct","bibbaseid":"benzmller-alonzohigherorderreasoningagentsformathematics-2004","author_short":["Benzmüller, C."],"bibdata":{"bibtype":"unpublished","type":"unpublished","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]}],"note":"EURYI project proposal","pages":"1-37","title":"ALONZO: Higher-Order Reasoning Agents for Mathematics","url_preprint":"http://christoph-benzmueller.de/papers/R23.pdf","year":"2004","bibtex":"@unpublished{R27,\n Author =\t {Christoph Benzm{\\\"u}ller},\n Note =\t {EURYI project proposal},\n Pages =\t {1-37},\n Title =\t {ALONZO: Higher-Order Reasoning Agents for\n Mathematics},\n url_preprint = {http://christoph-benzmueller.de/papers/R23.pdf},\n Year =\t 2004,\n}\n\n","author_short":["Benzmüller, C."],"key":"R27","id":"R27","bibbaseid":"benzmller-alonzohigherorderreasoningagentsformathematics-2004","role":"author","urls":{" preprint":"http://christoph-benzmueller.de/papers/R23.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"unpublished","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","S5G7BggtbXZA2Q63T"],"keywords":[],"search_terms":["alonzo","higher","order","reasoning","agents","mathematics","benzmüller"],"title":"ALONZO: Higher-Order Reasoning Agents for Mathematics","year":2004}