R. Ramesh, I. V. Ramakrishnan. Incremental Techniques for Efficient Normalization of Nonlinear Rewrite Systems. In Ronald V. Book, editor, International Conference on Rewriting Techniques and Applications. Volume 488 of Lecture Notes in Computer Science, pages 335-347, Springer, Como, Italy, 1991.
@inproceedings{RameshR91,
title = {Incremental Techniques for Efficient Normalization of Nonlinear Rewrite Systems},
author = {R. Ramesh and I. V. Ramakrishnan},
year = {1991},
tags = {graph-rewriting, rewriting, incremental},
researchr = {https://researchr.org/publication/RameshR91},
cites = {0},
citedby = {0},
pages = {335-347},
booktitle = {Rewriting Techniques and Applications},
editor = {Ronald V. Book},
volume = {488},
series = {Lecture Notes in Computer Science},
address = {Como, Italy},
publisher = {Springer},
isbn = {3-540-53904-2},
}