Brachman, Ronald J.; Levesque, Hector J.; Fikes, Richard "KRYPTON: Integrating Terminology and Assertion" AAAI 1983: 31-35

Languages mentioned

• KRYPTON {1983}