Journals in DBLP

TPLP
2001, volume: 1, number: 4

1. Sergio Greco, Carlo Zaniolo
   Greedy Algorithms in Datalog. [Citation Graph (0, 0)][DBLP]
   TPLP, 2001, v:1, n:4, pp:381-407 [Journal]
   
2. Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo
   Constraint Logic Programming with Hereditary Harrop Formula. [Citation Graph (0, 0)][DBLP]
   TPLP, 2001, v:1, n:4, pp:409-445 [Journal]
   
3. Jan-Georg Smaus, Patricia M. Hill, Andy King
   Verifying Termination and Error-Freedom of Logic Programs with block Declarations. [Citation Graph (0, 0)][DBLP]
   TPLP, 2001, v:1, n:4, pp:447-486 [Journal]
   
4. Hudson Turner
   Order-consistent programs are cautiously monotonic. [Citation Graph (0, 0)][DBLP]
   TPLP, 2001, v:1, n:4, pp:487-495 [Journal]