## Paul-André Melliès

*A Stability Theorem in Rewriting Theory*

LICS, 1998.

@inproceedings{LICS-1998-Mellies, author = "Paul-André Melliès", booktitle = "{Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.1998.705665", isbn = "0-8186-8506-9", pages = "287--298", publisher = "{IEEE Computer Society}", title = "{A Stability Theorem in Rewriting Theory}", year = 1998, }