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

Guillem Godoy Robert Nieuwenhuis On Ordering Constraints for Deduction with Built-In Abelian Semigroups, Monoids and Groups. 38-50 2001 LICS db/conf/lics/lics2001.html#GodoyN01