TY  - SER
TI  - JOURNAL OF LOGIC AND COMPUTATION
SN  - 0955-792X
PY  - 0000///
CY  - OXFORD UK
PB  - OXFORD UNIVERSITY PRESS
ER  -