TY  - RPRT
TI  - An effective characterization of the alternation hierarchy in two-variable logic
AU  - Andreas Krebs
AU  - Howard Straubing
PY  - 2012
UR  - https://arxiv.org/abs/1205.4802
ID  - 1205.4802
ER  -