Antonio Badia Safety, domain independence and generalized quantification. [Citation Graph (0, 0)][DBLP] Data Knowl. Eng., 2001, v:38, n:2, pp:147-172 [Journal]
C. A. Johnson Constructing interpretations of deductive databases using reduction and dynamic stratification. [Citation Graph (0, 0)][DBLP] Data Knowl. Eng., 2001, v:38, n:2, pp:173-197 [Journal]