Logical Definability and Query Languages over Unranked Trees.

Leonid Libkin, Frank Neven

Browse the full LICS paper archive.