Proof verbalization as an application of NLG Conference Paper uri icon

publication date

  • August 23, 1997

start page

  • 965

end page

  • 970