TY  - RPRT
TI  - Complexity of the Two-Variable Fragment with (Binary-Coded) Counting Quantifiers
AU  - Ian Pratt-Hartmann
PY  - 2004
DO  - 10.1007/s10849-005-5791-1
UR  - https://arxiv.org/abs/cs/0411031
ID  - cs/0411031
ER  -