Title:
ACM Transactions on Computational Logic
Abbreviated Title:
ACM Trans. Comput. Logic
Abbreviated Title:
TOCL
Publisher:
Association for Computing Machinery (ACM)
ISSN
(Print):
15293785
Publication date Created:
July
01 2006
Publication date
(Print):
July
01 2006
Volume: 7
Issue: 3
Pages: 563-589
Article
DOI: 10.1145/1149114.1149118
SO-VID: c3ae4940-293d-4c8b-90bb-52e37ec57d7e
Copyright © ©
2006