DMCA

Theorem Proving in Cancellative Abelian Monoids (1996)

by Harald Ganzinger , Uwe Waldmann
Citations:9 - 1 self