Progress in Automating Higher-Order Ontology Reasoning (bibtex)
by Christoph Benzmüller, Adam Pease
Reference:
Progress in Automating Higher-Order Ontology Reasoning (Christoph Benzmüller, Adam Pease), In PAAR-2010 -- Workshop on Practical Aspects of Automated Reasoning (Renate A. Schmidt, Stephan Schulz, Boris Konev, eds.), EasyChair, EPiC Series in Computing, volume 9, pp. 22-32, 2012. (slides)
Bibtex Entry:
@inproceedings{W40,
  Author =	 {Christoph Benzm\"uller 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},
  Url = {http://www.easychair.org/publications/?page=999569486},
  Volume =	 9,
  Year =	 2012,
  Doi =          {10.29007/dtnz},
}
Powered by bibtexbrowser