William Gasarch, Michael C. Laskowski, Shaopeng Zhu. $(\mathbb {Z}, \text {succ}, U), (\mathbb {Z}, E, U)$, and Their CSP's. In Ding-Zhu Du, Donglei Du, Chenchen wu, Dachuan Xu, editors, Theory and Applications of Models of Computation - 17th Annual Conference, TAMC 2022, Tianjin, China, September 16-18, 2022, Proceedings. Volume 13571 of Lecture Notes in Computer Science, pages 155-175, Springer, 2022. [doi]
Abstract is missing.