@inproceedings{holland-minkley-2002-planning,
    title = "Planning Proof Content for Communicating Induction",
    author = "Holland-Minkley, Amanda",
    editor = "McKeown, Kathleen",
    booktitle = "Proceedings of the International Natural Language Generation Conference",
    month = jul,
    year = "2002",
    address = "Harriman, New York, USA",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/jlcl-multiple-ingestion/W02-2122/",
    pages = "167--172"
}