Domenico Beneventano Sonia Bergamaschi Stefano Lodi Claudio Sartori Reasoning with Constraints in Database Models. 23-38 1994 SEBD db/conf/sebd/sebd1994.html#BeneventanoBLS94