"On Ordering Constraints for Deduction with Built-In Abelian Semigroups, ..."

Guillem Godoy, Robert Nieuwenhuis (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics