TY  - RPRT
TI  - Data-Complexity of the Two-Variable Fragment with Counting Quantifiers
AU  - Ian Pratt-Hartmann
PY  - 2008
DO  - 10.1016/j.ic.2009.02.004
UR  - https://arxiv.org/abs/0806.1636
ID  - 0806.1636
ER  -