Journals in DBLP

J. Log. Program.
1985, volume: 2, number: 4

1. Jack Minker, Donald Perlis
   Computing Protected Circumscription. [Citation Graph (3, 0)][DBLP]
   J. Log. Program., 1985, v:2, n:4, pp:235-249 [Journal]
   
2. Dov M. Gabbay
   N-Prolog: An Extension of Prolog with Hypothetical Implication II - Logical Foundations, and Negation as Failure. [Citation Graph (6, 0)][DBLP]
   J. Log. Program., 1985, v:2, n:4, pp:251-283 [Journal]
   
3. Van Tu Le
   Negation-As-Failure Rule for General Logic Programs With Equality. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1985, v:2, n:4, pp:285-294 [Journal]
   
4. Melvin Fitting
   A Kripke-Kleene Semantics for Logic Programs. [Citation Graph (18, 0)][DBLP]
   J. Log. Program., 1985, v:2, n:4, pp:295-312 [Journal]