Closure properties of constraints (1997)

by P G Jeavons, D A Cohen, M Gyssens
Venue:Journal of the ACM