TY  - RPRT
TI  - Arithmetic, First-Order Logic, and Counting Quantifiers
AU  - Nicole Schweikardt
PY  - 2002
UR  - https://arxiv.org/abs/cs/0211022
ID  - cs/0211022
ER  -