Verbalization of High-Level Formal Proofs

Amanda M. Holland-Minkley, Regina Barzilay, Robert L. Constable. Verbalization of High-Level Formal Proofs. In AAAI/IAAI. pages 277-284, 1999.

Abstract

Abstract is missing.