Journals in DBLP

J. Log. Program.
1992, volume: 12, number: 1&2

1. Serenella Cerrito
   A Linear Axiomatization of Negation as Failure. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1992, v:12, n:1&2, pp:1-24 [Journal]
   
2. David W. Reed, Donald W. Loveland
   A Comparison of Three Prolog Extensions. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1992, v:12, n:1&2, pp:25-50 [Journal]
   
3. Gert Smolka
   Feature-Constraint Logics for Unification Grammars. [Citation Graph (1, 0)][DBLP]
   J. Log. Program., 1992, v:12, n:1&2, pp:51-87 [Journal]
   
4. Oded Shmueli, Shalom Tsur, Carlo Zaniolo
   Compilation of Set Terms in the Logic Data Language (LDL). [Citation Graph (5, 0)][DBLP]
   J. Log. Program., 1992, v:12, n:1&2, pp:89-119 [Journal]
   
5. Robert A. Kowalski
   Database Updates in the Event Calculus. [Citation Graph (6, 0)][DBLP]
   J. Log. Program., 1992, v:12, n:1&2, pp:121-146 [Journal]
   
6. Donald Sannella, Lincoln A. Wallen
   A Calculus for the Construction of Modular Prolog Programs. [Citation Graph (1, 0)][DBLP]
   J. Log. Program., 1992, v:12, n:1&2, pp:147-177 [Journal]
   
7. Johann A. Makowsky, J.-C. Gregoire, Shmuel Sagiv
   The Expressive Power of Side Effects in Prolog. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1992, v:12, n:1&2, pp:179-188 [Journal]