Proof Verbalization as an Application of NLG (1997)

by Xiaorong Huang, Armin Fiedler
Venue:PROCEEDINGS OF THE 15TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI