M. Goldberg, “Solving Equations in the lambda-Calculus using Syntactic Encapsulation”, BRICS, vol. 2, no. 49, Jun. 1995.