"Outer Narrowing for Equational Theories Based on Constructors."

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