Journal of Applied Logic > 2012 > 10 > 4 > 431-446
Source
Abstract
Identifiers
journal ISSN : | 1570-8683 |
DOI | 10.1016/j.jal.2012.05.001 |
Journal of Applied Logic > 2012 > 10 > 4 > 431-446
journal ISSN : | 1570-8683 |
DOI | 10.1016/j.jal.2012.05.001 |