@InProceedings{BAPhm_etal1989,
author="B{\~A}{\textparagraph}hm, Corrado
and Piperno, Adolfo
and Tronci, Enrico",
title="Solving Equations in $\lambda$-calculus",
booktitle="Proc. of: Logic Colloquium 88",
year="1989",
address="Padova - Italy",
optnote="exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=62), last updated on Thu, 22 Nov 2012 14:59:51 +0100"
}