Global Constraint Checking at Run-Time.

Christian Hein, Tom Ritter

Browse the full ISADS paper archive.