Title:
Journal of Automated Reasoning
Abbreviated Title:
J Autom Reasoning
Publisher:
Springer Nature
ISSN
(Print):
0168-7433
ISSN
(Electronic):
1573-0670
Publication date Created:
December
2015
Publication date
(Print):
September
2015
Volume: 55
Issue: 4
Pages: 373-388
Article
DOI: 10.1007/s10817-015-9349-x
SO-VID: ce0b51f0-2683-4334-b4b8-09702ec7f002
Copyright © ©
2015