Theorem Proving in Cancellative Abelian Monoids (Extended Abstract).

Harald Ganzinger, Uwe Waldmann

Browse the full CADE paper archive.