Two variable logic with ultimately periodic counting - Benedikt, M; Kostylev, EV; Tan, T (Leibniz International Proceedings in Informatics, 2020)