@inproceedings{W40,
  Author =	 {Christoph Benzm{\"u}ller and Adam Pease},
  Booktitle =	 {PAAR-2010 -- Workshop on Practical Aspects of
                  Automated Reasoning},
  Comment =	 {<a href="http://christoph-benzmueller.de/papers/2010-PAAR.pdf">slides</a>},
  Editor =	 {Renate A. Schmidt and Stephan Schulz and Boris
                  Konev},
  issn =	 {2398-7340},
  Pages =	 {22-32},
  Publisher =	 {EasyChair},
  Series =	 {EPiC Series in Computing},
  Title =	 {Progress in Automating Higher-Order Ontology
                  Reasoning},
  OPTUrl =
                  {http://www.easychair.org/publications/?page=999569486},
  Volume =	 9,
  Year =	 2012,
  Doi =		 {10.29007/dtnz},
}

{"_id":"NaXn3d7x8xYs5c75h","bibbaseid":"benzmller-pease-progressinautomatinghigherorderontologyreasoning-2012","author_short":["Benzmüller, C.","Pease, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]},{"firstnames":["Adam"],"propositions":[],"lastnames":["Pease"],"suffixes":[]}],"booktitle":"PAAR-2010 – Workshop on Practical Aspects of Automated Reasoning","comment":"<a href=\"http://christoph-benzmueller.de/papers/2010-PAAR.pdf\">slides</a>","editor":[{"firstnames":["Renate","A."],"propositions":[],"lastnames":["Schmidt"],"suffixes":[]},{"firstnames":["Stephan"],"propositions":[],"lastnames":["Schulz"],"suffixes":[]},{"firstnames":["Boris"],"propositions":[],"lastnames":["Konev"],"suffixes":[]}],"issn":"2398-7340","pages":"22-32","publisher":"EasyChair","series":"EPiC Series in Computing","title":"Progress in Automating Higher-Order Ontology Reasoning","opturl":"http://www.easychair.org/publications/?page=999569486","volume":"9","year":"2012","doi":"10.29007/dtnz","bibtex":"@inproceedings{W40,\n Author =\t {Christoph Benzm{\\\"u}ller and Adam Pease},\n Booktitle =\t {PAAR-2010 -- Workshop on Practical Aspects of\n Automated Reasoning},\n Comment =\t {<a href=\"http://christoph-benzmueller.de/papers/2010-PAAR.pdf\">slides</a>},\n Editor =\t {Renate A. Schmidt and Stephan Schulz and Boris\n Konev},\n issn =\t {2398-7340},\n Pages =\t {22-32},\n Publisher =\t {EasyChair},\n Series =\t {EPiC Series in Computing},\n Title =\t {Progress in Automating Higher-Order Ontology\n Reasoning},\n OPTUrl =\n {http://www.easychair.org/publications/?page=999569486},\n Volume =\t 9,\n Year =\t 2012,\n Doi =\t\t {10.29007/dtnz},\n}\n\n","author_short":["Benzmüller, C.","Pease, A."],"editor_short":["Schmidt, R. A.","Schulz, S.","Konev, B."],"key":"W40","id":"W40","bibbaseid":"benzmller-pease-progressinautomatinghigherorderontologyreasoning-2012","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","S5G7BggtbXZA2Q63T"],"keywords":[],"search_terms":["progress","automating","higher","order","ontology","reasoning","benzmüller","pease"],"title":"Progress in Automating Higher-Order Ontology Reasoning","year":2012}