@inproceedings{Brachman-etal85,
  author	= {Brachman, Ronald J. and Gilbert, Victoria Pigman and Levesque., Hector J.},
  month		= aug,
  year		= {1985},
  title		= {An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON},
  booktitle	= {Proceedings of the IJCAI'85},
  pages		= {532--539},
  publisher	= {Morgan Kaufmann Publishers Inc.},
  address	= {Los Angeles, CA},
  organization	= {IJCAI}
}