Kenneth A. Ross A Prodedural Semantics for Well-Founded Negation in Logic Programs. [Citation Graph (3, 0)][DBLP] J. Log. Program., 1992, v:13, n:1, pp:1-22 [Journal]
Weidong Chen Programming with Logical Queries, Bulk Updates, and Hypothetical Reasoning. [Citation Graph (0, 27)][DBLP] IEEE Trans. Knowl. Data Eng., 1997, v:9, n:4, pp:587-599 [Journal] Cites:
Kenneth A. Ross A Prodedural Semantics for Well-Founded Negation in Logic Programs. [Citation Graph (3, 0)][DBLP] J. Log. Program., 1992, v:13, n:1, pp:1-22 [Journal]
R. Ramesh, Weidong Chen Implementation of Tabled Evaluation with Delaying in Prolog. [Citation Graph (0, 19)][DBLP] IEEE Trans. Knowl. Data Eng., 1997, v:9, n:4, pp:559-574 [Journal] Cites: