Antoni Olivé. Integrity Constraints Checking In Deductive Databases. In Guy M. Lohman, Amílcar Sernadas, Rafael Camps, editors, 17th International Conference on Very Large Data Bases, September 3-6, 1991, Barcelona, Catalonia, Spain, Proceedings. pages 513-523, Morgan Kaufmann, 1991. [doi]
Abstract is missing.