Integrity checking in stratified databases (1987)

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