"Strictness Analysis as Finite-Domain Constraint Solving."

Tihomir Gabric, Kevin Glynn, Harald Søndergaard (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics