Checking Number Theory Proofs in Natural Language (1990)

by D L Simon