@inproceedings{EdgarPelletier93,
  author	= {Edgar, A. and Pelletier, F. J.},
  title		= {Natural language explanation of natural deduction proofs},
  booktitle	= {Proceedings of the First Conference of the Pacific Association for Computational Linguistics},
  year		= {1993},
  address	= {Simon Fraser University}
}