1990

Adolfo Piperno, and Enrico Tronci. "Regular Systems of Equations in lambda-calculus." Int. J. Found. Comput. Sci. 1, no. 3 (1990): 325-340. DOI: 10.1142/S0129054190000230.