Outer Narrowing for Equational Theories Based on Constructors.

Jia-Huai You

Browse the full ICALP paper archive.