TY  - RPRT
TI  - Two variable logic with ultimately periodic counting
AU  - Michael Benedikt
AU  - Egor V. Kostylev
AU  - Tony Tan
PY  - 2024
UR  - https://arxiv.org/abs/2006.01193
ID  - 2006.01193
ER  -