@InProceedings{BAPhm+Tronci1987,
author="B{\~A}{\textparagraph}hm, Corrado
and Tronci, Enrico",
title="X-Separability and Left-Invertibility in lambda-calculus",
booktitle="Symposium on Logic in Computer Science (LICS)",
year="1987",
publisher="IEEE Computer Society",
address="Ithaca, New York, USA",
pages="320--328",
optnote="exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=63), last updated on Thu, 22 Nov 2012 15:00:35 +0100"
}