The complexity of maximal constraint languages - Bulatov, A; Krokhin, A; Jeavons, P (2001)