Theorem proving in cancellative abelian monoids (extended abstract (1996)

by Harald Ganzinger, Uwe Waldmann
Venue:Proc. CADE-13, volume 1104 of LNCS