JOURNAL OF LOGIC AND COMPUTATION