Journal of Logic & Algebraic Programming