Journal of Logic and Algebraic Programming, Volume 48

Volume 48, Number 1-2, May-August 2001