Challenge Problems Focusing on Equality and Combinatory Logic: Evaluating Automated Theorem-Proving Programs.

Larry Wos, William McCune

Browse the full CADE paper archive.