Barbara Catania Constraint and Optimization in Deductive Databases. 15-34 1995 SEBD db/conf/sebd/sebd1995.html#Catania95