Verbalization of high-level formal proofs (1999)

by Amanda M Holland-Minkley, Regina Barzilay, Robert L Constable
Venue:In Proc. of AAAI