@inproceedings{FikesHendrix77-ijcai,
  author	= {Fikes, Richard and Hendrix, Gary},
  year		= {1977},
  title		= {A Network-Based Knowledge Representation and its Natural Deduction System},
  booktitle	= {Proceedings of the Fifth International Joint Conference on Artificial Intelligence},
  organization	= {IJCAI}
}