Superposition and Model Evolution Combined.

Peter Baumgartner, Uwe Waldmann

Browse the full CADE paper archive.