No. 49 (1995): RS-49 Solving Equations in the lambda-Calculus using Syntactic Encapsulation