@Article{Wos93, Author = "Wos, L.", Year = "1993", Title = "{The Kernel Strategy and Its Use for the Study of Combinatory Logic}", Journal = "Journal of Automated Reasoning", Volume = "10", Number = "3", Pages = "287-344", Comment = "TPTPRef, general reasoning" }