@inproceedings{Kent01-iff,
  author	= {Kent, R.},
  title		= {A KIF formalization for the IFF category theory ontology},
  booktitle	= {Working Notes of the IJCAI-2001 Workshop on the IEEE Standard Upper Ontology},
  URL		= {http://projects.teknowlege.com/IJCAI01/index.html},
  urlpage	= {http://projects.teknowlege.com/IJCAI01/index.html},
  year		= {2001}
}