TY  - RPRT
TI  - The succinctness of first-order logic on linear orders
AU  - Martin Grohe
AU  - Nicole Schweikardt
PY  - 2006
DO  - 10.2168/lmcs-1(1:6)2005
UR  - https://arxiv.org/abs/cs/0502047
ID  - cs/0502047
ER  -