TY - JOUR AB - Article PDF first page preview Close This content is only available as a PDF. © Oxford University Press TI - Forthcoming Papers JF - Journal of Logic and Computation DO - 10.1093/logcom/3.4.448 DA - 1993-08-01 UR - https://www.deepdyve.com/lp/oxford-university-press/forthcoming-papers-D5KXhLMTOQ SP - 448 EP - 449 VL - 3 IS - 4 DP - DeepDyve ER -