@inproceedings{Geneserith91,
  author	= {Geneserith, M.},
  editor	= {Allen, J.},
  title		= {Knowledge Interchange Format},
  booktitle	= {Proceedings of the 2nd International Conference on the Principles of Knowledge Representation and Reasoning (KR-91)},
  pages		= {238--249},
  year		= {1991},
  URL		= {http://logic.stanford.edu/kif/kif.html},
  urlpage	= {http://logic.stanford.edu/kif/kif.html},
  publisher	= {Morgan Kaufman}
}