Creignou, N., Hermann, M., Krokhin, A., Salzer, G., "Complexity of clausal constraints over chains", Theory of Computing Systems, 2008