Order-Invariance in the Two-Variable Fragment of First-Order Logic.

Julien Grange

Browse the full CSL paper archive.