@article{Chester76,
  author	= {Chester, D.},
  month		= {Fall},
  year		= {1976},
  title		= {The Translation of Formal Proofs into English},
  journal	= {Artificial Intelligence},
  volume	= {7},
  number	= {3}
}