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: 4
Pages: 511-547
Article
DOI: 10.1093/logcom/2.4.511
SO-VID: 995ec5a9-115b-4cf2-8d02-7498850fee49
Copyright © ©
1992