In:
Journal of Automated Reasoning, Springer Science and Business Media LLC, Vol. 39, No. 1 ( 2007-07), p. 49-75
Type of Medium:
Online Resource
ISSN:
0168-7433
,
1573-0670
DOI:
10.1007/s10817-007-9067-0
Language:
English
Publisher:
Springer Science and Business Media LLC
Publication Date:
2007
detail.hit.zdb_id:
1479376-3
SSG:
7,11
SSG:
17,1