Progress in automating higher-order ontology reasoning (0)

by C Benzmüller, A Pease
Venue:in Proceedings of the Second International Workshop on Practical Aspects of Automated Reasoning