Bodirsky, Manuel, Martin, Barnaby, Mottet, Antoine, "Constraint Satisfaction Problems over the Integers with Successor", , 2015