Intergrity Constraint Checking for Updates in Deductive Databases, a different approach. - Ron Seljée (Bull. EATCS, 1994)

A New Method for Integrity Constraint Checking in Deductive Database. - Ron Seljée (Data Knowl. Eng., 1995)

Three Types of Redundancy in Integrity Checking: An Optimal Solution. - Ron Seljée; Harrie C. M. de Swart (Data Knowl. Eng., 1999)