EasyChair Smart Slide
The 2-Dimensional Constraint Loop Problem Is Decidable
The 2-Dimensional Constraint Loop Problem Is Decidable