Jia-Huai You: Outer Narrowing for Equational Theories Based on Constructors. ICALP 1988: 727-741