TY  - RPRT
TI  - Succinct Definitions in the First Order Theory of Graphs
AU  - Oleg Pikhurko
AU  - Joel Spencer
AU  - Oleg Verbitsky
PY  - 2004
UR  - https://arxiv.org/abs/math/0401307
ID  - math/0401307
ER  -