@Inproceedings{EPTCS306.25,
  author    = {Barichard, Vincent and St\'ephan, Igor },
  year      = {2019},
  title     = {Quantified Constraint Handling Rules},
  editor    = {Bogaerts, Bart and Erdem, Esra and Fodor, Paul and Formisano, Andrea and Ianni, Giovambattista and Inclezan, Daniela and Vidal, German and Villanueva, Alicia and Vos, Marina De and Yang, Fangkai},
  booktitle = {{\rm Proceedings 35th International Conference on}
               Logic Programming {\rm (Technical Communications)} ,
               {\rm Las Cruces, NM, USA, September 20-25, 2019}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {306},
  publisher = {Open Publishing Association},
  pages     = {210-223},
  doi       = {10.4204/EPTCS.306.25},
}