An Automatic Theorem Prover Generating a Proof in Natural Language.

Masakazu Nakanlshi, Morio Nagata, Kenji Ueda

Browse the full IJCAI paper archive.