Journal of Logic and Algebraic Programming > 2006 > 66 > 2 > 112-126
Source
Abstract
Identifiers
journal ISSN : | 1567-8326 |
DOI | 10.1016/j.jlap.2005.04.007 |
Journal of Logic and Algebraic Programming > 2006 > 66 > 2 > 112-126
journal ISSN : | 1567-8326 |
DOI | 10.1016/j.jlap.2005.04.007 |