BrachmanLF83'

BibTeX

@inproceedings{DBLP:conf/aaai/BrachmanLF83,
  author    = {Ronald J. Brachman and
               Hector J. Levesque and
               Richard Fikes},
  title     = {KRYPTON: Integrating Terminology and Assertion},
  booktitle = {AAAI},
  year      = {1983},
  pages     = {31-35},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}