Journal of Automated Reasoning > 2018 > 61 > 1-4 > 1-8
Source
Identifiers
journal ISSN : | 0168-7433 |
journal e-ISSN : | 1573-0670 |
DOI | 10.1007/s10817-018-9465-5 |
Journal of Automated Reasoning > 2018 > 61 > 1-4 > 1-8
journal ISSN : | 0168-7433 |
journal e-ISSN : | 1573-0670 |
DOI | 10.1007/s10817-018-9465-5 |