"Finding Fixed Point Combinators Using Prolog."

Richard Rankin, Ralph W. Wilkerson (1993)
a service of Schloss Dagstuhl - Leibniz Center for Informatics