Search results
Annals of Pure and Applied Logic > 2008 > 152 > 1-3 > 132-147
Electronic Notes in Theoretical Computer Science > 2006 > 143 > Complete > 129-140
Annals of Pure and Applied Logic > 2008 > 152 > 1-3 > 132-147
Electronic Notes in Theoretical Computer Science > 2006 > 143 > Complete > 129-140