Integrity Constraint Checking in stratified databases (1986)

by J M Lloyd, E A SSonenberg, R W Topor