Two-variable logic with counting is decidable, unpublished manuscript (1996)

by E Gr adel, M Otto, E Rosen