Jia-Huai You. Outer Narrowing for Equational Theories Based on Constructors. In Timo Lepistö, Arto Salomaa, editors, Automata, Languages and Programming, 15th International Colloquium, ICALP88, Tampere, Finland, July 11-15, 1988, Proceedings. Volume 317 of Lecture Notes in Computer Science, pages 727-741, Springer, 1988.
Abstract is missing.