"Debugging for Model Expansion."

Johan Wittocx, Hanne Vlaeminck, Marc Denecker (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics