Marc Gyssens Luc Vandeurzen Dirk Van Gucht Linear-Constraint Databases. 199-229 2000 Constraint Databases db/conf/cdb/cdb2000.html#GyssensVG00