Kenneth A. Ross Modular Stratification and Magic Sets for DATALOG Programs with Negation. [Citation Graph (14, 16)][DBLP] PODS, 1990, pp:161-171 [Conf]
Kenneth A. Ross Modular Stratification and Magic Sets for DATALOG Programs with Negation. [Citation Graph (14, 16)][DBLP] PODS, 1990, pp:161-171 [Conf]