@Article{MW88, Author = "McCune, W.W. and Wos, L.", Year = "1988", Title = "{Some Fixed Point Problems in Combinatory Logic}", Journal = "AAR Newsletter", Volume = "10", Pages = "7-8", Comment = "TPTPRef" }