Progress in Automating Higher-Order Ontology Reasoning.

Christoph Benzmller, Adam Pease

Browse the full CADE paper archive.