Journal of Logic and Algebraic Programming > 2004 > 59 > 1-2 > 1-4
Source
Identifiers
journal ISSN : | 1567-8326 |
DOI | 10.1016/j.jlap.2003.12.004 |
Journal of Logic and Algebraic Programming > 2004 > 59 > 1-2 > 1-4
journal ISSN : | 1567-8326 |
DOI | 10.1016/j.jlap.2003.12.004 |