Two-variable logic with counting is decidable (1997)

by E Grädel, M Otto, E Rosen
Venue:In Proc. of LICS-97, 306–317. IEEE Computer