Journal of Logic and Algebraic Programming, Volume 49

Volume 49, Number 1-2, September-December 2001