Search results
Journal of Applied Logic > 2013 > 11 > 2 > 190-216
Journal of Applied Logic > 2012 > 10 > 1 > 52-74
Journal of Applied Logic > 2010 > 8 > 4 > 319-333
Journal of Applied Logic > 2013 > 11 > 2 > 190-216
Journal of Applied Logic > 2012 > 10 > 1 > 52-74
Journal of Applied Logic > 2010 > 8 > 4 > 319-333