%0 Journal Article %T Reviews %A VICKERS,, STEVEN %J Journal of Logic and Computation %V 3 %N 6 %P 687-688 %@ 0955-792X %D 1993-12-01 %I Oxford University Press %~ DeepDyve