Search results
Theoretical Computer Science > 2015 > 603 > Complete > 111-131
Journal of Applied Logic > 2013 > 11 > 3 > 309-327
Information and Computation > 2010 > 208 > 5 > 521-544
Theoretical Computer Science > 2015 > 603 > Complete > 111-131
Journal of Applied Logic > 2013 > 11 > 3 > 309-327
Information and Computation > 2010 > 208 > 5 > 521-544