The Model Evolution Calculus (0)

by Peter Baumgartner, Cesare Tinelli