@Article{MW87, Author = "McCune, W.W. and Wos, L.", Year = "1987", Title = "{A Case Study in Automated Theorem Proving: Finding Sages in Combinatory Logic}", Journal = "Journal of Automated Reasoning", Volume = "3", Number = "1", Pages = "91-107", Comment = "TPTPRef" }