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
2014
Publication date
(Print):
May
2014
Volume: 53
Issue: 3
Pages: 245-269
Article
DOI: 10.1007/s10817-014-9305-1
SO-VID: e02a91fa-136b-418a-844e-794effc0de14
Copyright © ©
2014