The succinctness of first-order logic on linear orders

Martin Grohe, Nicole Schweikardt. The succinctness of first-order logic on linear orders. Logical Methods in Computer Science, 1(1), 2005. [doi]

Abstract

Abstract is missing.