Helmut Simonis Abderrahmane Aggoun Nicolas Beldiceanu Eric Bourreau Complex Constraint Abstraction: Global Constraint Visualisation. 299-317 2000 conf/discipl/2000 Analysis and Visualization Tools for Constraint Programming db/conf/discipl/discipl2000.html#SimonisABB00