Journals in DBLP

J. Log. Program.
1987, volume: 4, number: 1

1. Luis Fariñas del Cerro, Martti Penttonen
   A Note of the Complexity of the Satisfiability of Modal Horn Clauses. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1987, v:4, n:1, pp:1-10 [Journal]
   
2. Melvin Fitting
   Enumeration Operators and Modular Logic Programming. [Citation Graph (1, 0)][DBLP]
   J. Log. Program., 1987, v:4, n:1, pp:11-21 [Journal]
   
3. Allen Van Gelder
   Efficient Loop Detection in Prolog using the Tortoise-and-Hare Technique. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1987, v:4, n:1, pp:23-31 [Journal]
   
4. Philip T. Cox
   On Determining the Cause of Nonunifiability. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1987, v:4, n:1, pp:33-58 [Journal]
   
5. W. F. Clocksin
   Logic Programming and Digital Circuit Analysis. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1987, v:4, n:1, pp:59-82 [Journal]
   
6. Richard Helm, Kim Marriott
   Book Review: Prolog for Programmers, by Feliks Kluzniak and Stanislaw Szpakowicz. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1987, v:4, n:1, pp:83-84 [Journal]