Enrico Tronci. "Equational Programming in Lambda-Calculus via SL-Systems. Part 2." _Theoretical Computer Science_ 160, no. 1&2 (1996): 185–216. DOI: 10.1016/0304-3975(95)00106-9.