@inproceedings{HuangFiedler97,
  author	= {Huang, X. and Fiedler, A.},
  year		= {1997},
  title		= {Proof verbalization as an application of NLG},
  booktitle	= {IJCAI},
  pages		= {965--970},
  address	= {Nagoya},
}