%% lmcs:1012
%% https://lmcs.episciences.org/1012
%% 
@article{lmcs:1012,
  TITLE = {{Beyond Q-Resolution and Prenex Form: A Proof System for Quantified
  Constraint Satisfaction}},
  AUTHOR = {Hubie Chen},
  URL = {https://lmcs.episciences.org/1012},
  DOI = {10.2168/LMCS-10(4:14)2014},
  JOURNAL = {{Logical Methods in Computer Science}},
  VOLUME = {{Volume 10, Issue 4}},
  YEAR = {2014},
  MONTH = Dec,
  KEYWORDS = {Computer Science - Logic in Computer Science ; Computer Science - Artificial Intelligence ; Computer Science - Computational Complexity},
}