PT Unknown
AU Böhm, C
   Piperno, A
   Tronci, E
TI Solving Equations in λ-calculus
SE Proc. of: Logic Colloquium 88
PY 1989
PI Padova - Italy
ER