Promises Make Finite (Constraint Satisfaction) Problems Infinitary.

Libor Barto

Browse the full LICS paper archive.