@inproceedings{RTA-1993-DelorP,
author = "Catherine Delor and Laurence Puel",
booktitle = "{Proceedings of the Fifth International Conference on Rewriting Techniques and Applications}",
doi = "10.1007/3-540-56868-9_29",
editor = "Claude Kirchner",
isbn = "3-540-56868-9",
pages = "389--404",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{Extension of the Associative Path Ordering to a Chain of Associative Commutative Symbols}",
volume = 690,
year = 1993,
}
Tags: