Barto, Libor, Bulín, Jakub, Krokhin, Andrei, Opršal, Jakub, "Algebraic Approach to Promise Constraint Satisfaction", Journal of the ACM, 2021