@article{Bachmair_1985,
    doi = {10.1016/s0747-7171(85)80019-5},
    url = {https://doi.org/10.1016%2Fs0747-7171%2885%2980019-5},
    year = {1985},
    month = {dec},
    publisher = {Elsevier {BV}},
    volume = {1},
    number = {4},
    pages = {329--349},
    author = {Leo Bachmair and David A. Plaisted},
    title = {Termination orderings for associative-commutative rewriting systems},
    journal = {Journal of Symbolic Computation}
}

@article{Bachmair_1985, doi = {10.1016/s0747-7171(85)80019-5}, url = {https://doi.org/10.1016%2Fs0747-7171%2885%2980019-5}, year = {1985}, month = {dec}, publisher = {Elsevier {BV}}, volume = {1}, number = {4}, pages = {329--349}, author = {Leo Bachmair and David A. Plaisted}, title = {Termination orderings for associative-commutative rewriting systems}, journal = {Journal of Symbolic Computation} }