Integrity Constraint Checking in Stratified Databases (1987)

by J Lloyd, L Sonenberg, R Topor
Venue:Journal of Logic Programming