M. Pinsker, M. Kompatscher et al.: "Equations in oligomorphic clones and the Constraint Satisfaction Problem for $ω$-categorical structures"; CoRR - Computing Research Repository, abs/1612.07551 (2016).