Benedikt, M.M.BenediktKostylev, E.V.E.V.KostylevTONY TAN2021-05-052021-05-052020https://www.scopus.com/inward/record.url?eid=2-s2.0-85089353334&partnerID=40&md5=34fafab0587dda037122c46bb6551f67https://scholars.lib.ntu.edu.tw/handle/123456789/559257Two variable logic with ultimately periodic countingconference paper10.4230/LIPIcs.ICALP.2020.1122-s2.0-85089353334