C4.C — Two variable logic with ultimately periodic counting

ICALP 2020