First Order Reasoning on a Large Ontology.

Adam Pease, Geoff Sutcliffe

Browse the full CADE paper archive.