"Theorem Proving in Cancellative Abelian Monoids (Extended Abstract)."

Harald Ganzinger, Uwe Waldmann (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics