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
2012
Publication date
(Print):
May
2011
Volume: 49
Issue: 3
Pages: 427-451
Article
DOI: 10.1007/s10817-011-9228-z
SO-VID: 15560298-8459-4a7a-b15b-ab34b52059d9
Copyright © ©
2012