Erich Grädel Martin Otto Eric Rosen Two-Variable Logic with Counting is Decidable. 306-317 http://www.computer.org/proceedings/lics/7925/79250306abs.htm 1997 LICS db/conf/lics/lics97.html#GradelOR97