%0 Journal Article %T About Systems of Equations, X-Separability, and Left-Invertibility in the lambda-Calculus %A Böhm, Corrado %A Tronci, Enrico %J Inf. Comput. %D 1991 %V 90 %N 1 %F BAPhm+Tronci1991 %O exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=59), last updated on Thu, 22 Nov 2012 15:00:12 +0100 %R 10.1016/0890-5401(91)90057-9 %U https://doi.org/10.1016/0890-5401(91)90057-9 %P 1-32