Title:
Journal of Automated Reasoning
Abbreviated Title:
J Autom Reasoning
Publisher:
Springer Nature
ISSN
(Print):
0168-7433
ISSN
(Electronic):
1573-0670
Publication date Created:
August
2008
Publication date
(Print):
August
2008
Volume: 41
Issue: 2
Pages: 143-189
Article
DOI: 10.1007/s10817-008-9103-8
SO-VID: b1acc26b-10e7-43f5-a662-3dd8de335479
Copyright © ©
2008