A man-machine theorem-proving system (1974)

by W W Bledsoe, P Bruell
Venue:Journal of Artificial Intelligence