Two-variable First-Order Logic with Counting in Forests.

Witold Charatonik, Yegor Guskov, Ian Pratt-Hartmann, Piotr Witkowski

Browse the full LPAR paper archive.