Macroplanning with a Cognitive Architecture for the Adaptive Explanation of Proofs Armin Fiedler author 1998-08 text Natural Language Generation Eduard Hovy editor Association for Computational Linguistics Niagara-on-the-Lake, Ontario, Canada conference publication fiedler-1998-macroplanning https://aclanthology.org/W98-1410/ 1998-08