selected publications conference paper Proof verbalization as an application of NLG. International Joint Conference on Artificial Intelligence. 965-970. 1997