A Case Study in Automated Theorem Proving: Finding Sages in Combinatory Logic.

William McCune Larry Wos A Case Study in Automated Theorem Proving: Finding Sages in Combinatory Logic. 91-107 1987 3 J. Autom. Reasoning 1 db/journals/jar/jar3.html#McCuneW87