Title:
Journal of Applied Logic
Abbreviated Title:
Journal of Applied Logic
Publisher:
Elsevier BV
ISSN
(Print):
15708683
Publication date Created:
December
2006
Publication date
(Print):
December
2006
Volume: 4
Issue: 4
Pages: 470-504
Article
DOI: 10.1016/j.jal.2005.10.006
SO-VID: 72ed7b03-f9ab-4b7d-8a29-69e07d89cd05
Copyright © ©
2006