Journals in DBLP

J. Log. Program.
1997, volume: 30, number: 2

1. Hassan Aït-Kaci, Andreas Podelski, Seth Copen Goldstein
   Order Sorted Feature Theory Unification. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1997, v:30, n:2, pp:99-124 [Journal]
   
2. Teodor C. Przymusinski, Hudson Turner
   Update by Means of Inference Rules. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1997, v:30, n:2, pp:125-143 [Journal]
   
3. Paul Tarau, Koenraad De Bosschere, Bart Demoen
   On Delphi Lemmas and other Memoing Techniques for Deterministic Logic Programs. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1997, v:30, n:2, pp:145-163 [Journal]
   
4. Heinrich Herre, Gerd Wagner
   Stable Models Are Generated by a Stabel Chain. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1997, v:30, n:2, pp:165-177 [Journal]