Corrado Böhm, Adolfo Piperno: Surjectivity for Finite Sets of Combinators by Weak Reduction. CSL 1987: 27-43