Two-variable First-Order Logic with Counting in Forests. - Witold Charatonik; Yegor Guskov; Ian Pratt-Hartmann; Piotr Witkowski 001 (LPAR, 2018)

Decidability of finite satisfiability of two-variable first-order logic with counting and local navigation in unordered unranked trees. - Yegor Guskov (2018)