Two Variable Logic with Ultimately Periodic Counting.

Michael Benedikt, Egor V. Kostylev, Tony Tan

Browse the full ICALP paper archive.