$(\mathbb {Z}, \text {succ}, U), (\mathbb {Z}, E, U)$, and Their CSP's.

William Gasarch, Michael C. Laskowski, Shaopeng Zhu

Browse the full TAMC paper archive.