Two-Variable Logic with Counting is Decidable.

Erich Grdel, Martin Otto, Eric Rosen

Browse the full LICS paper archive.