TY  - RPRT
TI  - The 2-Dimensional Constraint Loop Problem is Decidable
AU  - Quentin Guilmant
AU  - Engel Lefaucheux
AU  - Joël Ouaknine
AU  - James Worrell
PY  - 2024
UR  - https://arxiv.org/abs/2405.12992
ID  - 2405.12992
ER  -