W. W. Bledsoe Peter Bruell A Man-Machine Theorem-Proving System. 56-66 1973 IJCAI db/conf/ijcai/ijcai73.html#BledsoeB73