Search results
Electronic Notes in Theoretical Computer Science > 2017 > 332 > C > 57-73
Theoretical Computer Science > 2015 > 597 > Complete > 1-17
Theoretical Computer Science > 2013 > 474 > Complete > 98-116
Annals of Pure and Applied Logic > 2000 > 102 > 3 > 247-282
Annals of Pure and Applied Logic > 1999 > 101 > 1 > 29-64