Automated Theorem Proving: Assignments
Contemporary ATP Systems
Using ATP Systems
Encoding and Solving a Problem
Implementing an ATP System, in Prolog