"Surjectivity for Finite Sets of Combinators by Weak Reduction."

Corrado Böhm, Adolfo Piperno (1987)
a service of Schloss Dagstuhl - Leibniz Center for Informatics