Two-Variable Logic over Countable Linear Orderings.

Amaldev Manuel, A. V. Sreejith

Browse the full MFCS paper archive.