Nadia Creignou Miki Hermann Andrei A. Krokhin Gernot Salzer Complexity of Clausal Constraints Over Chains. 239-255 2008 42 Theory Comput. Syst. 2 https://doi.org/10.1007/s00224-007-9003-z db/journals/mst/mst42.html#CreignouHKS08