Strictness Analysis as Finite-Domain Constraint Solving. - Tihomir Gabric; Kevin Glynn; Harald Søndergaard (LOPSTR, 1998)