Search results
Theoretical Computer Science > 2015 > 603 > Complete > 111-131
Journal of Applied Logic > 2013 > 11 > 3 > 309-327
Theoretical Computer Science > 2015 > 603 > Complete > 111-131
Journal of Applied Logic > 2013 > 11 > 3 > 309-327