Beyond Q-Resolution and Prenex Form: A Proof System for Quantified Constraint Satisfaction (Logical Methods in Computer Science, 2014)