Integrity Constraint Checking in Strati ed Databases (1987)

by J W LLoyd, E A Sonenberg, R W Topor
Venue:Journal of Logic Programming