Search results
Journal of Applied Logic > 2016 > 16 > C > 111-127
Electronic Notes in Theoretical Computer Science > 2006 > 143 > Complete > 141-157
Journal of Applied Logic > 2005 > 3 > 1 > 7-14
Journal of Applied Logic > 2016 > 16 > C > 111-127
Electronic Notes in Theoretical Computer Science > 2006 > 143 > Complete > 141-157
Journal of Applied Logic > 2005 > 3 > 1 > 7-14