On Ordering Constraints for Deduction with Built-In Abelian Semigroups, Monoids and Groups.

Guillem Godoy, Robert Nieuwenhuis

Browse the full LICS paper archive.