Armin Fiedler. Macroplanning with a Cognitive Architecture for the Adaptive Explanation of Proofs. In Proceedings of the Ninth International Workshop on Natural Language Generation, INLG 1998, Niagara-on-the-Lake, Ontario, Canada, August 5-7, 1998. 1998. [doi]