Corrado Böhm, and Enrico Tronci. "About Systems of Equations, X-Separability, and Left-Invertibility in the lambda-Calculus." _Inf. Comput._ 90, no. 1 (1991): 1–32. DOI: 10.1016/0890-5401(91)90057-9.