Jia-Huai You. Enumarating Outer Narrowing Derivations for Constructor-Based Term Rewriting Systems. Journal of Symbolic Computation, 7(3/4):319-341, 1989.
@article{You89,
title = {Enumarating Outer Narrowing Derivations for Constructor-Based Term Rewriting Systems},
author = {Jia-Huai You},
year = {1989},
tags = {rule-based, term rewriting, graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/You89},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Computation},
volume = {7},
number = {3/4},
pages = {319-341},
}