Journal of Logic Programming, Volume 39

Volume 39, Numbers 1-3, April 1999

• Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi: Automated Verification of Prolog Programs. 3-42 BibTeX
• Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello: Abstract Diagnosis. 43-93 BibTeX
• Elena Marchiori, Frank Teusink: Termination of Logic Programs with Delay Declarations. 95-124 BibTeX
• Dino Pedreschi, Salvatore Ruggieri: Verification of Logic Programs. 125-176 BibTeX
• Mireille Ducassé: Opium: An Extendable Trace Analyzer for Prolog. 177-223 BibTeX
• Sandro Etalle, Maurizio Gabbrielli: Layered Modes. 225-244 BibTeX