1989

Corrado Böhm, Adolfo Piperno, and Enrico Tronci. "Solving Equations in lambda-calculus." In Proc. of: Logic Colloquium 88. Padova - Italy, 1989.