R. R. Seljée

FICCS; A Fact Integrity Constraint Checking System

R. R. Seljée, 1997 .

Deductive Database Systems and integrity constraint checking

R. R. Seljée, R. Seljée, 1995 .

Three types of redundancy in integrity checking

H.C.M. de Swart, R. R. Seljée, 1998 .