Leo Bachmair, C. R. Ramakrishnan, I. V. Ramakrishnan, Ashish Tiwari
Normalization via Rewrite Closures
RTA, 1999.
@inproceedings{RTA-1999-BachmairRRT,
author = "Leo Bachmair and C. R. Ramakrishnan and I. V. Ramakrishnan and Ashish Tiwari",
booktitle = "{Proceedings of the 10th International Conference on Rewriting Techniques and Applications}",
doi = "10.1007/3-540-48685-2_15",
editor = "Paliath Narendran and Michaël Rusinowitch",
isbn = "3-540-66201-4",
pages = "190--204",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{Normalization via Rewrite Closures}",
volume = 1631,
year = 1999,
}
Tags: