Erich Grädel, Martin Otto, Eric Rosen: Two-Variable Logic with Counting is Decidable. LICS 1997: 306-317