TY  - RPRT
TI  - Beyond Q-Resolution and Prenex Form: A Proof System for Quantified Constraint Satisfaction
AU  - Hubie Chen
PY  - 2014
DO  - 10.2168/lmcs-10(4:14)2014
UR  - https://arxiv.org/abs/1403.0222
ID  - 1403.0222
ER  -