Title:
Journal of Automated Reasoning
Abbreviated Title:
J Autom Reasoning
Publisher:
Springer Nature
ISSN
(Print):
0168-7433
ISSN
(Electronic):
1573-0670
Publication date Created:
October
2007
Publication date
(Print):
July
2007
Volume: 39
Issue: 3
Pages: 385-429
Article
DOI: 10.1007/s10817-007-9078-x
SO-VID: e93aeadd-0d5c-43fa-aeab-b3d20b7de638
Copyright © ©
2007