Journals in DBLP

J. Log. Program.
1998, volume: 34, number: 1

1. M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar
   Transformational Methodology for Proving Termination of Logic Programs. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1998, v:34, n:1, pp:1-41 [Journal]
   
2. Xining Li
   A New Term Representation Method for Prolog. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1998, v:34, n:1, pp:43-57 [Journal]
   
3. Jean-Jacques Hébrard, Philippe Luquet
   The Horn Basis of a Set of Clauses. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1998, v:34, n:1, pp:59-66 [Journal]