@misc{indiciae91ffce1b2cf3,
  title = {Complexity of the Two-Variable Fragment with (Binary-Coded) Counting Quantifiers},
  author = {Ian Pratt-Hartmann},
  year = {2004},
  doi = {10.1007/s10849-005-5791-1},
  url = {https://arxiv.org/abs/cs/0411031},
  note = {Source identifier: cs/0411031}
}