Journal of Logic and Algebraic Programming, Volume 52-53

Volume 52-53, July - August 2002