Closure properties of constraints (1997)

by P Jeavons, D Cohen, M Gyssens
Venue:J. of the ACM