Carvalho, Catarina, Madelaine, Florent, Martin, Barnaby, Zhuk, Dmitriy, "The complexity of quantified constraints: collapsibility, switchability and the algebraic formulation", ACM Transactions on Computational Logic, 2023