Title:
Journal of Automated Reasoning
Abbreviated Title:
J Autom Reasoning
Publisher:
Springer Science and Business Media LLC
ISSN
(Print):
0168-7433
ISSN
(Electronic):
1573-0670
Publication date Created:
February
2014
Publication date
(Electronic):
April
24 2013
Publication date
(Print):
February
2014
Volume: 52
Issue: 2
Pages: 191-213
Article
DOI: 10.1007/s10817-013-9286-5
SO-VID: 233ced22-adfb-4953-ab27-23eb42a93052
Copyright © ©
2014