Ronald J. Brachman Hector J. Levesque Richard Fikes KRYPTON: Integrating Terminology and Assertion. 31-35 1983 AAAI db/conf/aaai/aaai83.html#BrachmanLF83