Expressive Completeness of Two-Variable First-Order Logic with Counting for First-Order Logic Queries on Rooted Unranked Trees.

Jelle Hellings, Marc Gyssens, Jan Van den Bussche, Dirk Van Gucht

Browse the full LICS paper archive.