Peter Baumgartner Alexander Fuchs Cesare Tinelli Implementing the Model Evolution Calculus. 21-52 2006 15 International Journal on Artificial Intelligence Tools 1 http://dx.doi.org/10.1142/S0218213006002552 db/journals/ijait/ijait15.html#BaumgartnerFT06