%0 Journal Article
%T Forthcoming Papers
%J Journal of Logic and Computation
%V 3
%N 4
%P 448-449
%@ 0955-792X
%D 1993-08-01
%I Oxford University Press
%~ DeepDyve