Journals in DBLP

TPLP
2002, volume: 2, number: 3

1. Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi
   On modular termination proofs of general logic programs. [Citation Graph (0, 0)][DBLP]
   TPLP, 2002, v:2, n:3, pp:263-291 [Journal]
   
2. Francesco Buccafurri, Wolfgang Faber, Nicola Leone
   Disjunctive Logic Programs with Inheritance. [Citation Graph (0, 0)][DBLP]
   TPLP, 2002, v:2, n:3, pp:293-321 [Journal]
   
3. John Grant, Jack Minker
   A logic-based approach to data integration. [Citation Graph (0, 0)][DBLP]
   TPLP, 2002, v:2, n:3, pp:323-368 [Journal]
   
4. Dino Pedreschi, Salvatore Ruggieri, Jan-Georg Smaus
   Classes of terminating logic programs. [Citation Graph (0, 0)][DBLP]
   TPLP, 2002, v:2, n:3, pp:369-418 [Journal]
   
5. Yde Venema
   Book review: Dynamic Logic by David Harel, Dexter Kozen and Jerzy Tiuryn, The MIT Press, ISBN 0-262-08289-6. [Citation Graph (0, 0)][DBLP]
   TPLP, 2002, v:2, n:3, pp:419-421 [Journal]