JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING Volume 83 Issue 1 Volume 82 Issue 8 Issue 7 Issue 5 Issue 4 Issue 3 Issue 2 Issue 1 Volume 81 Issue 8 Issue 7 Issue 6 Issue 5 Issue 4 Issue 3 Issue 2 Issue 1 Volume 80 Issue 8 Issue 7 Issue 6 Issue 5 Issue 3 Issue 2 Issue 1 Volume 79 Issue 8 Issue 7 Issue 6 Issue 5 Issue 3 Issue 2 Issue 1 Volume 78 Issue 8 Issue 7 Issue 6 Issue 5 Issue 4 Issue 3 Issue 2 Issue 1 Volume 77 Issue 2 Issue 1 Volume 76 Issue 2 Issue 1 Volume 75 Issue 2 Issue 1 Volume 74 Issue 2 Issue 1 Volume 73 Issue 2 Issue 1 Volume 72 Issue 2 Issue 1 Volume 71 Issue 2 Issue 1 Volume 70 Issue 2 Issue 1 Volume 69 Issue 2 Issue 1 Volume 68 Issue 2 Issue 1 Volume 67 Issue 2 Issue 1 Volume 66 Issue 2 Issue 1 Volume 65 Issue 2 Issue 1 Volume 64 Issue 2 Issue 1 Volume 63 Issue 2 Issue 1 Volume 62 Issue 2 Issue 1 Volume 60 Issue 1 Volume 59 Issue 1 Volume 58 Issue 2 Issue 1 Volume 57 Issue 2 Issue 1 Volume 56 Issue 2 Issue 1 Volume 55 Issue 2 Issue 1 Volume 54 Issue 2 Issue 1 Volume 52 Issue 1 Volume 51 Issue 2 Issue 1 Volume 50 Issue 1 Volume 49 Issue 2 Issue 1 Volume 48 Issue 2 Issue 1 Volume 47 Issue 2 Issue 1 Volume 46 Issue 2 Issue 1