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.
@inproceedings{You88:0, title = {Outer Narrowing for Equational Theories Based on Constructors}, author = {Jia-Huai You}, year = {1988}, tags = {rule-based}, researchr = {https://researchr.org/publication/You88%3A0}, cites = {0}, citedby = {0}, pages = {727-741}, booktitle = {Automata, Languages and Programming, 15th International Colloquium, ICALP88, Tampere, Finland, July 11-15, 1988, Proceedings}, editor = {Timo Lepistö and Arto Salomaa}, volume = {317}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-19488-6}, }