Ronald J. Brachman, Hector J. Levesque, Richard Fikes. KRYPTON: Integrating Terminology and Assertion. In AAAI. pages 31-35, 1983.
@inproceedings{BrachmanLF83,
title = {KRYPTON: Integrating Terminology and Assertion},
author = {Ronald J. Brachman and Hector J. Levesque and Richard Fikes},
year = {1983},
researchr = {https://researchr.org/publication/BrachmanLF83},
cites = {0},
citedby = {0},
pages = {31-35},
booktitle = {AAAI},
}