Annegret Habel, Detlef Plump. Term Graph Narrowing. Mathematical Structures in Computer Science, 6(6):649-676, 1996.
@article{HabelP96, title = {Term Graph Narrowing}, author = {Annegret Habel and Detlef Plump}, year = {1996}, tags = {term rewriting, graph-rewriting, rewriting}, researchr = {https://researchr.org/publication/HabelP96}, cites = {0}, citedby = {0}, journal = {Mathematical Structures in Computer Science}, volume = {6}, number = {6}, pages = {649-676}, }