The Translation of Formal Proofs into English

Daniel L. Chester. The Translation of Formal Proofs into English. Artificial Intelligence, 7(3):261-278, 1976.

Abstract

Abstract is missing.