@inproceedings{C17,
  Author =	 {Christoph Benzm{\"u}ller and Chad Brown},
  Booktitle =	 {Theorem Proving in Higher Order Logics, 18th
                  International Conference, TPHOLs 2005, Oxford, UK,
                  August 22-25, 2005, Proceedings},
  Doi =		 {10.1007/11541868_5},
  Editor =	 {Joe Hurd and Thomas F. Melham},
  Keywords =	 {own, Higher Order Logic, Automated Reasoning, Henkin
                  Semantics},
  Number =	 3603,
  Pages =	 {66-81},
  Publisher =	 {Springer},
  Series =	 {LNCS},
  Title =	 {A Structured Set of Higher-Order Problems},
  url_preprint = {http://christoph-benzmueller.de/papers/C17.pdf},
  Year =	 2005,
}

{"_id":"EopEpLAyncNa5gyGK","bibbaseid":"benzmller-brown-astructuredsetofhigherorderproblems-2005","author_short":["Benzmüller, C.","Brown, C."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]},{"firstnames":["Chad"],"propositions":[],"lastnames":["Brown"],"suffixes":[]}],"booktitle":"Theorem Proving in Higher Order Logics, 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings","doi":"10.1007/11541868_5","editor":[{"firstnames":["Joe"],"propositions":[],"lastnames":["Hurd"],"suffixes":[]},{"firstnames":["Thomas","F."],"propositions":[],"lastnames":["Melham"],"suffixes":[]}],"keywords":"own, Higher Order Logic, Automated Reasoning, Henkin Semantics","number":"3603","pages":"66-81","publisher":"Springer","series":"LNCS","title":"A Structured Set of Higher-Order Problems","url_preprint":"http://christoph-benzmueller.de/papers/C17.pdf","year":"2005","bibtex":"@inproceedings{C17,\n Author =\t {Christoph Benzm{\\\"u}ller and Chad Brown},\n Booktitle =\t {Theorem Proving in Higher Order Logics, 18th\n International Conference, TPHOLs 2005, Oxford, UK,\n August 22-25, 2005, Proceedings},\n Doi =\t\t {10.1007/11541868_5},\n Editor =\t {Joe Hurd and Thomas F. Melham},\n Keywords =\t {own, Higher Order Logic, Automated Reasoning, Henkin\n Semantics},\n Number =\t 3603,\n Pages =\t {66-81},\n Publisher =\t {Springer},\n Series =\t {LNCS},\n Title =\t {A Structured Set of Higher-Order Problems},\n url_preprint = {http://christoph-benzmueller.de/papers/C17.pdf},\n Year =\t 2005,\n}\n\n","author_short":["Benzmüller, C.","Brown, C."],"editor_short":["Hurd, J.","Melham, T. F."],"key":"C17","id":"C17","bibbaseid":"benzmller-brown-astructuredsetofhigherorderproblems-2005","role":"author","urls":{" preprint":"http://christoph-benzmueller.de/papers/C17.pdf"},"keyword":["own","Higher Order Logic","Automated Reasoning","Henkin Semantics"],"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"inproceedings","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","TMLR8ZY4yQJ9bNyWt","S5G7BggtbXZA2Q63T"],"keywords":["own","higher order logic","automated reasoning","henkin semantics"],"search_terms":["structured","set","higher","order","problems","benzmüller","brown"],"title":"A Structured Set of Higher-Order Problems","year":2005,"downloads":1}