A Man-Machine Theorem-Proving System.

W. W. Bledsoe, Peter Bruell

Browse the full IJCAI paper archive.