Journal of Automated Reasoning > 1999 > 22 > 4 > 397-431
Source
Abstract
Identifiers
journal ISSN : | 0168-7433 |
journal e-ISSN : | 1573-0670 |
DOI | 10.1023/A:1006127022180 |
Journal of Automated Reasoning > 1999 > 22 > 4 > 397-431
journal ISSN : | 0168-7433 |
journal e-ISSN : | 1573-0670 |
DOI | 10.1023/A:1006127022180 |