Two variable logic with ultimately periodic counting (Leibniz International Proceedings in Informatics, 2020)

(untitled) - Benedikt, M; Kostylev, EV; Tan, T