"Progress in Automating Higher-Order Ontology Reasoning."

Christoph Benzmüller, Adam Pease (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics