"Incremental Consistency Checking of Dynamic Constraints."

Iris Groher, Alexander Reder, Alexander Egyed (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics