@inproceedings{RTA-1989-AnantharamanHM,
author = "Siva Anantharaman and Jieh Hsiang and Jalel Mzali",
booktitle = "{Proceedings of the Third International Conference on Rewriting Techniques and Applications}",
doi = "10.1007/3-540-51081-8_131",
editor = "Nachum Dershowitz",
isbn = "3-540-51081-8",
pages = "533--537",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{SbReve2: A Term Rewriting Laboratory with (AC-) Unfailing Completion}",
volume = 355,
year = 1989,
}
Tags: