Tutorial on High-Performance Automated Theorem Proving.

Ewing L. Lusk, William McCune

Browse the full CADE paper archive.