A Man-Machine Theorem-Proving System (1974)

by W W Bledsoe, P Bruell
Venue:Artificial Intelligence