TY  - RPRT
TI  - Complexity of the Guarded Two-Variable Fragment with Counting Quantifiers
AU  - Ian Pratt-Hartmann
PY  - 2006
DO  - 10.1093/logcom/exl034
UR  - https://arxiv.org/abs/cs/0601112
ID  - cs/0601112
ER  -