Title:
Journal of Automated Reasoning
Abbreviated Title:
J Autom Reasoning
Publisher:
Springer Nature
ISSN
(Print):
0168-7433
ISSN
(Electronic):
1573-0670
Publication date Created:
May
2008
Publication date
(Electronic):
March
14 2008
Publication date
(Print):
May
2008
Volume: 40
Issue: 4
Pages: 327-356
Article
DOI: 10.1007/s10817-008-9097-2
SO-VID: cf68417a-146e-4721-8c02-0127f581226a
Copyright © ©
2008