Tok Wang Ling Integrity Constraint Checking in Deductive Databases Using the Prolog Not-Predicate. 145-168 1987 2 Data Knowl. Eng. db/journals/dke/dke2.html#Ling87