An algebraic theory of complexity for valued constraints: Establishing a Galois connection - Cohen, D; Creed, P; Jeavons, P; Živný, S (Oxford‚ UK, 2010)