Title:
Journal of Logic and Computation
Abbreviated Title:
J Logic Computation
Publisher:
Oxford University Press (OUP)
ISSN
(Print):
0955-792X
ISSN
(Electronic):
1465-363X
Publication date Created: 1992
Publication date
(Print):
1992
Volume: 2
Issue: 3
Pages: 297-347
Article
DOI: 10.1093/logcom/2.3.297
SO-VID: 4e01ab63-1023-44d4-9219-c53d6c095f80
Copyright © ©
1992