TY  - RPRT
TI  - Register Automata with Extrema Constraints, and an Application to Two-Variable Logic
AU  - Szymon Toruńczyk
AU  - Thomas Zeume
PY  - 2022
DO  - 10.46298/lmcs-18(1:42)2022
UR  - https://arxiv.org/abs/2101.03866
ID  - 2101.03866
ER  -