Paths to High-Performance Automated Theorem Proving.

Ralph Butler, Ewing L. Lusk, William McCune, Ross A. Overbeek

Browse the full CADE paper archive.