%0 Journal Article %T Forthcoming Papers %J Journal of Logic and Computation %V 15 %N 2 %P 239-240 %@ 0955-792X %D 2005-04-01 %I Oxford University Press %~ DeepDyve