Journal of Logic and Algebraic Programming > 2010 > 79 > 8 > 830-844
Source
Abstract
Identifiers
journal ISSN : | 1567-8326 |
DOI | 10.1016/j.jlap.2010.07.018 |
Journal of Logic and Algebraic Programming > 2010 > 79 > 8 > 830-844
journal ISSN : | 1567-8326 |
DOI | 10.1016/j.jlap.2010.07.018 |