The 2-Dimensional Constraint Loop Problem Is Decidable.

Quentin Guilmant, Engel Lefaucheux, Jol Ouaknine, James Worrell

Browse the full ICALP paper archive.