Leo Bachmair, David A. Plaisted. Termination Orderings for Associative-Commutative Rewriting Systems. Journal of Symbolic Computation, 1(4):329-349, 1985.
@article{BachmairP85:0,
title = {Termination Orderings for Associative-Commutative Rewriting Systems},
author = {Leo Bachmair and David A. Plaisted},
year = {1985},
tags = {termination, graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/BachmairP85%3A0},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Computation},
volume = {1},
number = {4},
pages = {329-349},
}