TY  - RPRT
TI  - Quantified Constraint Handling Rules
AU  - Vincent Barichard
AU  - Igor Stéphan
PY  - 2019
DO  - 10.4204/eptcs.306.25
UR  - https://arxiv.org/abs/1909.08243
ID  - 1909.08243
ER  -