"Solving Equations in an Equational Language."

Jia-Huai You (1988)
a service of Schloss Dagstuhl - Leibniz Center for Informatics