John Field
A Graph Reduction Approach to Incremental Term Rewriting
RTA, 1993.
@inproceedings{RTA-1993-Field,
author = "John Field",
booktitle = "{Proceedings of the Fifth International Conference on Rewriting Techniques and Applications}",
doi = "10.1007/3-540-56868-9_20",
editor = "Claude Kirchner",
isbn = "3-540-56868-9",
pages = "259--273",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{A Graph Reduction Approach to Incremental Term Rewriting}",
volume = 690,
year = 1993,
}











