Susan M. Hermiller, X. H. Kramer, Reinhard C. Laubenbacher. Monomial Orderings, Rewriting Systems, and Gröbner Bases for the Commutator Ideal of a Free Algebra. Journal of Symbolic Computation, 27(2):133-141, 1999.
@article{HermillerKL99, title = {Monomial Orderings, Rewriting Systems, and Gröbner Bases for the Commutator Ideal of a Free Algebra}, author = {Susan M. Hermiller and X. H. Kramer and Reinhard C. Laubenbacher}, year = {1999}, tags = {graph-rewriting, C++, algebra, rewriting}, researchr = {https://researchr.org/publication/HermillerKL99}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Computation}, volume = {27}, number = {2}, pages = {133-141}, }