Characterizing EF and EX Tree Logics.

Mikolaj Bojanczyk, Igor Walukiewicz

Browse the full CONCUR paper archive.