Martin Grohe Nicole Schweikardt The succinctness of first-order logic on linear orders. 2005 1 Logical Methods in Computer Science 1 http://dx.doi.org/10.2168/LMCS-1(1:6)2005 db/journals/lmcs/lmcs1.html#GroheS05