Planning Proof Content for Communicating Induction Amanda Holland-Minkley author 2002-07 text Proceedings of the International Natural Language Generation Conference Kathleen McKeown editor Association for Computational Linguistics Harriman, New York, USA conference publication holland-minkley-2002-planning https://aclanthology.org/W02-2122/ 2002-07 167 172