Associative Path Orderings

Leo Bachmair, David A. Plaisted. Associative Path Orderings. In Jean-Pierre Jouannaud, editor, Rewriting Techniques and Applications, First International Conference, RTA-85, Dijon, France, May 20-22, 1985, Proceedings. Volume 202 of Lecture Notes in Computer Science, pages 241-254, Springer, 1985.

@inproceedings{BachmairP85,
  title = {Associative Path Orderings},
  author = {Leo Bachmair and David A. Plaisted},
  year = {1985},
  researchr = {https://researchr.org/publication/BachmairP85},
  cites = {0},
  citedby = {0},
  pages = {241-254},
  booktitle = {Rewriting Techniques and Applications, First International Conference, RTA-85, Dijon, France, May 20-22, 1985, Proceedings},
  editor = {Jean-Pierre Jouannaud},
  volume = {202},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-15976-2},
}