Automated Theorem Proving (1987)

by Wolfgang Bibel