Madelaineand Martin. Containment, Equivalence and Coreness from CSP to QCSP and Beyond. 26 Apr. 2012.