Existential MSO over Two Successors Is Strictly Weaker than over Linear Orders.

Authors: 
Mathissen, Ch.
Year: 
2009
Appeared / Erschienen in: 
Theoretical Computer Science, 2009, angenommen.