Model Evolution with Equality Modulo Built-in Theories.

Peter Baumgartner, Cesare Tinelli

Browse the full CADE paper archive.