E.P.K. Tsang, Foundations of constraint satisfaction, Academic Press, London, 1993