Two-variable logic with counting is decidable (1997)

by Erich Grädel, Martin Otto, Eric Rosen
Venue:In Proc. of the 12th IEEE Symp. on Logic in Computer Science (LICS’97