Two-Variable Logic with Counting and Trees.

Witold Charatonik, Piotr Witkowski

Browse the full LICS paper archive.