Research output: Contribution to Journal/Magazine › Journal article › peer-review
<mark>Journal publication date</mark> | 1/11/2012 |
---|---|
<mark>Journal</mark> | Journal of Automated Reasoning |
Volume | 50 |
Pages (from-to) | 147–160 |
Publication Status | Published |
<mark>Original language</mark> | English |