X Huang, A Fiedler - Eighth International Natural Language …, 1996 - aclanthology.org
We argue in this paper that sophisticated microplanning techniques are required even for
mathematical proofs, in contrast to the belief that mathematical texts are only schematic and …