Journal of Logic and Algebraic Programming > 2012 > 81 > 6 > 625-642
Source
Abstract
Identifiers
journal ISSN : | 1567-8326 |
DOI | 10.1016/j.jlap.2012.05.001 |
Journal of Logic and Algebraic Programming > 2012 > 81 > 6 > 625-642
journal ISSN : | 1567-8326 |
DOI | 10.1016/j.jlap.2012.05.001 |