@Article{GO86, Author = "Glickfield, B. and Overbeek, R.", Year = "1986", Title = "{A Foray into Combinatory Logic}", Journal = "Journal of Automated Reasoning", Volume = "2", Number = "4", Pages = "419-431", Comment = "TPTPRef" }