Temporal Logics over Unranked Trees.

Pablo Barcel, Leonid Libkin

Browse the full LICS paper archive.