Title:
Journal of Logic and Computation
Abbreviated Title:
Journal of Logic and Computation
Publisher:
Oxford University Press (OUP)
ISSN
(Print):
0955-792X
ISSN
(Electronic):
1465-363X
Publication date Created:
October
01 1998
Publication date
(Print):
October
01 1998
Volume: 8
Issue: 5
Pages: 679-711
Article
DOI: 10.1093/logcom/8.5.679
SO-VID: 9a017da0-68f6-4d14-9bdb-40db65a78382
Copyright © ©
1998