TY  - SER
TI  - Journal of Logic and Computation
PB  - Oxford University Press
ER  -