Monadic Second-Order Logic and Linear Orderings of Finite Structures.

Bruno Courcelle Monadic Second-Order Logic and Linear Orderings of Finite Structures. 163-176 1994 conf/csl/1994 CSL db/conf/csl/csl94.html#Courcelle94 http://dx.doi.org/10.1007/BFb0022254