"Integrity Constraint Checking in Stratified Databases."

John W. Lloyd, Liz Sonenberg, Rodney W. Topor (1987)
a service of Schloss Dagstuhl - Leibniz Center for Informatics