@inproceedings(Abdennadher_Schutz_FQAS_98,
 author       = {S. Abdennadher and Sch\IeC{\"u}tz, H.},
 year         = {1998},
 title        = {{CHR}: {A} {F}lexible {Q}uery {L}anguage},
 booktitle    = {Proceedings of the 3$^{rd}$ International Conference on Flexible Query Answering Systems},
 pages        = {1--14},
 doi          = {10.1007/BFb0055987},
)
@inproceedings(Ansotegui_Gomes_Selman_AAAI_05,
 author       = {C. Ansotegui and C. Gomes and B. Selman},
 year         = {2005},
 title        = {Achilles' Heel of {QBF}},
 booktitle    = {Proceedings of the 20th National Conference on Artificial Intelligence (AAAI'05)},
 pages        = {275--281},
)
@inproceedings(Barichard_Stephan_ICTAI_14,
 author       = {V. Barichard and I. St\'{e}phan},
 year         = {2014},
 title        = {The {\it cut} tool for {QCSP}},
 booktitle    = {Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'14)},
 pages        = {883--890},
 doi          = {10.1109/ICTAI.2014.135},
)
@inproceedings(Benedetti_Lallouet_Vautard_IJCAI_07,
 author       = {M. Benedetti and A. Lallouet and J. Vautard},
 year         = {2007},
 title        = {{QCSP} made Practical by virtue of Restricted Quantification},
 booktitle    = {Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI'07)},
 pages        = {38--43},
)
@inproceedings(Bessiere_Verger_WMR_06,
 author       = {C. Bessiere and G. Verger},
 year         = {2006},
 title        = {Strategic constraint satisfaction problems},
 booktitle    = {Proceedings of the Workshop on Modelling and Reformulation},
)
@article(Betz_Fruhwirth_TCL_13,
 author       = {H. Betz and T.W. Fr\"{u}hwirth},
 year         = {2013},
 title        = {Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction},
 journal      = {ACM Transactions on Computational Logic},
 volume       = {14},
 number       = {1},
 doi          = {10.1145/2422085.2422086},
)
@inproceedings(Bordeaux_Monfroy_CP_02,
 author       = {L. Bordeaux and E. Monfroy},
 year         = {2002},
 title        = {Beyond {NP}: {A}rc-{C}onsistency for {Q}uantified {C}onstraints},
 booktitle    = {Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming (CP'02)},
 pages        = {371--386},
 doi          = {10.1007/3-540-46135-3\_25},
)
@inproceedings(Cadoli_Giovanardi_Schaerf_AAAI_98,
 author       = {M. Cadoli and A. Giovanardi and M. Schaerf},
 year         = {1998},
 title        = {{A}n {A}lgorithm to {E}valuate {Q}uantified {B}oolean {F}ormulae},
 booktitle    = {Proceedings of the 15th National Conference on Artificial Intelligence (AAAI'98)},
 pages        = {262--267},
)
@techreport(Fruhwirth_TechReport_92,
 author       = {T.W. Fr{\"{u}}hwirth},
 year         = {1992},
 title        = {Constraint {H}andling {R}ules},
 type         = {Technical Report},
 institution  = {ECRC},
)
@inproceedings(Fruhwirth_CP_94,
 author       = {T.W. Fr{\"{u}}hwirth},
 year         = {1994},
 title        = {Constraint {H}andling {R}ules},
 booktitle    = {Constraint Programming: Basics and Trends},
 pages        = {90--107},
 doi          = {10.1007/3-540-59155-9\_6},
)
@book(Fruhwirth_CHR_09,
 author       = {T.W. Fr{\"{u}}hwirth},
 year         = {2009},
 title        = {Constraint Handling Rules},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511609886},
)
@book(Fruhwirth_Abdennadher_CHR_03,
 author       = {T.W. Fr{\"{u}}hwirth and S. Abdennadher},
 year         = {2003},
 title        = {Essentials of Constraint Programming},
 publisher    = {Springer-Verlag},
 doi          = {10.1007/978-3-662-05138-2},
)
@book(Fruhwirth_Raiser_2011,
 editor       = {T.W. Fr{\"u}hwirth and F. Raiser},
 year         = {2011},
 title        = {Constraint Handling Rules: Compilation, Execution, and Analysis},
)
@article(Fruhwirth_JLP_98,
 author       = {Fr\IeC{\"u}hwirth, T.W.},
 year         = {1998},
 title        = {Theory and Practice of Constraint Handling Rules},
 journal      = {Journal of Logic Programming},
 volume       = {37},
 number       = {1-3},
 pages        = {95--138},
 doi          = {10.1016/S0743-1066(98)10005-5},
)
@article(Gent_Nightingale_Rowley_Stergiou_AI_08,
 author       = {I.P Gent and P. Nightingale and A. Rowley and K. Stergiou},
 year         = {2008},
 title        = {Solving quantified constraint satisfaction problems},
 journal      = {Artificial Intelligence},
 volume       = {172},
 number       = {6-7},
 pages        = {738--771},
 doi          = {10.1016/j.artint.2007.11.003},
)
@article(Girard_TCS_87,
 author       = {J.{-}Y. Girard},
 year         = {1987},
 title        = {Linear Logic},
 journal      = {Theoretical Computer Science},
 volume       = {50},
 pages        = {1--102},
 doi          = {10.1016/0304-3975(87)90045-4},
)
@article(VanHentenryck_ker_91,
 author       = {P. Van Hentenryck},
 year         = {1991},
 title        = {Constraint logic programming},
 journal      = {Knowledge Engineering Review},
 volume       = {6},
 number       = {3},
 pages        = {151--194},
 doi          = {10.1017/S0269888900005798},
)
@inproceedings(Jaffar_Lassez_POPL_87,
 author       = {J. Jaffar and J.-L. Lassez},
 year         = {1987},
 title        = {Constraint Logic Programming},
 booktitle    = {Proceedings of the 14th Annual ACM Symposium on Principles of Programming Languages},
 pages        = {111--119},
 doi          = {10.1145/41625.41635},
)
@article(Jaffar_Malher_JLP_94,
 author       = {J. Jaffar and M.J. Maher},
 year         = {1994},
 title        = {Constraint Logic Programming: {A} Survey},
 journal      = {Journal of Logic Programming},
 volume       = {19/20},
 pages        = {503--581},
 doi          = {10.1016/0743-1066(94)90033-7},
)
@inproceedings(Mamoulis_Stergiou_CP_04,
 author       = {N. Mamoulis and K. Stergiou},
 year         = {2004},
 title        = {Algorithms for {Q}uantified {C}onstraint {S}atisfaction {P}roblems},
 booktitle    = {Proceedings of the 10th International Conference on Principles and Practice of Constraint Programming (CP'04)},
 pages        = {752--756},
 doi          = {10.1007/978-3-540-30201-8\_60},
)
@phdthesis(Nightingale_phd,
 author       = {P. Nightingale},
 year         = {2007},
 title        = {{C}onsistency and the quantified constraint satisfaction problem},
 school       = {University of St. Andrews},
 url          = {https://research-repository.st-andrews.ac.uk/handle/10023/759},
)
@inproceedings(Pralet_Verfaillie_CP_11,
 author       = {C. Pralet and G. Verfaillie},
 year         = {2011},
 title        = {Beyond {QCSP} for {S}olving {C}ontrol {P}roblems},
 booktitle    = {Proceedings of the 17th International Conference on Principles and Practice of Constraint Programming (CP'11)},
 pages        = {744--758},
 doi          = {10.1007/978-3-642-23786-7\_56},
)
@inproceedings(Rabe_Tentrup_FMCAD_15,
 author       = {M. Rabe and L. Tentrup},
 year         = {2015},
 title        = {{CAQE:} {A} Certifying {QBF} Solver},
 booktitle    = {Formal Methods in Computer-Aided Design ({FMCAD}'15)},
 pages        = {136--143},
)
@inproceedings(Schrijvers_Warren_ICLP_04,
 author       = {T. Schrijvers and D.S. Warren},
 year         = {2004},
 title        = {Constraint {H}andling {R}ules and {T}abled {E}xecution},
 booktitle    = {Proceedings of the 20th International Conference on Logic Programming (ICLP'04)},
 pages        = {120--136},
 doi          = {10.1007/978-3-540-27775-0\_9},
)
@inproceedings(Stephan_ICLP_18,
 author       = {I. St\'{e}phan},
 year         = {2018},
 title        = {{A} {N}ew {P}roof-theoretical {L}inear {S}emantics for {CHR}},
 booktitle    = {Proceedings of the 34nd International Conference on Logic Programming (ICLP'18), Technical communication},
 volume       = {64},
 pages        = {4:1--4:18},
 doi          = {10.4230/OASIcs.ICLP.2018.4},
)
@inproceedings(Verger_Bessiere_CP_06,
 author       = {G. Verger and C. Bessiere},
 year         = {2006},
 title        = {{BlockSolve}: a {B}ottom-{U}p {A}pproach for {S}olving {Q}uantified {CSPs}},
 booktitle    = {Proceedings of the 12th International Conference on Principles and Practice of Constraint Programming (CP'06)},
 pages        = {635--649},
 doi          = {10.1007/11889205\_45},
)
@inproceedings(Verger_Bessiere_CP_08,
 author       = {G. Verger and C. Bessiere},
 year         = {2008},
 title        = {Guiding {S}earch in {QCSP}$^{\unhbox\voidb@x \hbox{+}}$ with {B}ack-{P}ropagation},
 booktitle    = {Proceedings of the 14th International Conference on Principles and Practice of Constraint Programming (CP'08)},
 pages        = {175--189},
 doi          = {10.1007/978-3-540-85958-1\_12},
)
@inproceedings(Zhang_AAAI_06,
 author       = {L. Zhang},
 year         = {2006},
 title        = {Solving {QBF} with {C}ombined {C}onjunctive and {D}isjunctive {N}ormal Form},
 booktitle    = {Proceedings of the 21th National Conference on Artificial Intelligence (AAAI'06)},
)
@inproceedings(Zhang_Malik_ICCAD_02,
 author       = {L. Zhang and S. Malik},
 year         = {2002},
 title        = {{C}onflict {D}riven {L}earning in a {Q}uantified {B}oolean {S}atisfiability {S}olver},
 booktitle    = {Proceedings of the International Conference on Computer Aided Design (ICCAD'02)},
 pages        = {442--449},
 doi          = {10.1145/774572.774637},
)