|
Journals in DBLP
- Weidong Chen, Terrance Swift, David Scott Warren
Efficient Top-Down Computation of Queries under the Well-Founded Semantics. [Citation Graph (4, 0)][DBLP] J. Log. Program., 1995, v:24, n:3, pp:161-199 [Journal]
- Chandrabose Aravindan, Phan Minh Dung
On the Correctness of Unfold/Fold Transformation of Normal and Extended Logic Programs. [Citation Graph (0, 0)][DBLP] J. Log. Program., 1995, v:24, n:3, pp:201-217 [Journal]
- Michael Hanus
Analysis of Residuating Logic Programs. [Citation Graph (0, 0)][DBLP] J. Log. Program., 1995, v:24, n:3, pp:219-245 [Journal]
|