The Model Evolution Calculus with Equality.

Peter Baumgartner, Cesare Tinelli

Browse the full CADE paper archive.