Corrado Böhm, and Enrico Tronci. "X-Separability and Left-Invertibility in lambda-calculus." In _Symposium on Logic in Computer Science (LICS)_, 320–328. Ithaca, New York, USA: IEEE Computer Society, 1987.