Journal of Logic and Algebraic Programming (Elsevier Science, 2002)