JOURNAL OF LOGIC AND ALGEBRIC PROGRAMMING (AMSTERDAM NETHERLANDS ELSEVIER)