Journal of Automated Reasoning > 2013 > 51 > 2 > 129-149
Source
Abstract
Identifiers
journal ISSN : | 0168-7433 |
journal e-ISSN : | 1573-0670 |
DOI | 10.1007/s10817-012-9252-7 |
Journal of Automated Reasoning > 2013 > 51 > 2 > 129-149
journal ISSN : | 0168-7433 |
journal e-ISSN : | 1573-0670 |
DOI | 10.1007/s10817-012-9252-7 |