The translation of formal proofs into English (1976)

by Daniel Chester
Venue:Artificial Intelligence