Journals in DBLP

J. Log. Program.
1995, volume: 22, number: 3

1. Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier
   Type Analysis of Prolog Using Type Graphs. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1995, v:22, n:3, pp:179-209 [Journal]
   
2. Jia-Huai You, Li-Yan Yuan
   On the Equivalence of Semantics for Normal Logic Programs. [Citation Graph (1, 0)][DBLP]
   J. Log. Program., 1995, v:22, n:3, pp:211-222 [Journal]
   
3. María Alpuente, Moreno Falaschi, Ferdinando Manzo
   Analyses of Unsatisfiability for Equational Logic Programming. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1995, v:22, n:3, pp:223-254 [Journal]