R.L.: Verbalization of high-level formal proofs (1999)

by A M Holland-Minkley, R Barzilay, Constable
Venue:In: Proceedings of Sixteenth National Conference on Artificial Intelligence