Constraint Solving for Term Orderings Compatible with Abelian Semigroups, Monoids and Groups | Publicación