1987

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.