In:
Journal of Automated Reasoning, Springer Science and Business Media LLC, Vol. 63, No. 3 ( 2019-10), p. 787-808
Type of Medium:
Online Resource
ISSN:
0168-7433
,
1573-0670
DOI:
10.1007/s10817-018-9498-9
Language:
English
Publisher:
Springer Science and Business Media LLC
Publication Date:
2019
detail.hit.zdb_id:
1479376-3
SSG:
7,11
SSG:
17,1