Goldberg, M. Solving Equations in the Lambda-Calculus Using Syntactic Encapsulation. BRICS 1995, 2.