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:
May
21 2010
Publication date
(Print):
February
26 2009
Volume: 20
Issue: 3
Pages: 651-674
Article
DOI: 10.1093/logcom/exn075
SO-VID: d5724267-2ee1-4f4c-a07d-617cd2eb360e
Copyright © ©
2010