In:
Journal of Automated Reasoning, Springer Science and Business Media LLC, Vol. 45, No. 3 ( 2010-10), p. 213-241
Type of Medium:
Online Resource
ISSN:
0168-7433
,
1573-0670
DOI:
10.1007/s10817-009-9162-5
Language:
English
Publisher:
Springer Science and Business Media LLC
Publication Date:
2010
detail.hit.zdb_id:
1479376-3
SSG:
7,11
SSG:
17,1
Permalink