@article{Brachman-etal83,
  author	= {Brachman, Ronald J. and Fikes, R. and Levesque, Hector J.},
  year		= {1983},
  title		= {KRYPTON: A Functional Approach to Knowledge Representation},
  journal	= {IEEE Computer},
  volume	= {16},
  number	= {10}
}