An Automatic Theorem Prover Generating a Proof in Natural Language. - Masakazu Nakanlshi; Morio Nagata; Kenji Ueda (IJCAI, 1979)