Volume 41, Number 1, October 1999
: A Declarative Semantics for Depth-First Logic Programs.
: Worst-Case Groundness Analysis Using Positive Boolean Functions.
Volume 41, Number 2-3, November 1999
, Yves Deville
: Guest Editors' Introduction Special Issue: Synthesis, Transformation and Analysis of Logic Rrograms 2.