Closure properties of constraints (1997)

by Peter Jeavons, David A Cohen, Marc Gyssens
Venue:J. ACM