Combined Abstract Congruence Closure for Theories with Associativity or Commutativity.

Christophe Ringeissen, Laurent Vigneron

Browse the full LOPSTR paper archive.