@Article{BAPhm+Tronci1991,
author="B{\~A}{\textparagraph}hm, Corrado
and Tronci, Enrico",
title="About Systems of Equations, X-Separability, and Left-Invertibility in the lambda-Calculus",
journal="Inf. Comput.",
year="1991",
volume="90",
number="1",
pages="1--32",
optnote="exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=59), last updated on Thu, 22 Nov 2012 15:00:12 +0100",
doi="10.1016/0890-5401(91)90057-9",
opturl="https://doi.org/10.1016/0890-5401(91)90057-9"
}