Extracting Text from Proofs. - Yann Coscoy; Gilles Kahn; Laurent Théry (TLCA, 1995)

A Natural Language Explanation for Formal Proofs. - Yann Coscoy (LACL, 1996)