TY  - RPRT
TI  - Existential Second-Order Logic Over Graphs: A Complete Complexity-Theoretic Classification
AU  - Till Tantau
PY  - 2014
UR  - https://arxiv.org/abs/1412.6396
ID  - 1412.6396
ER  -