TY  - RPRT
TI  - Constraint Logic Programming over Infinite Domains with an Application to Proof
AU  - Sebastian Krings
AU  - Michael Leuschel
PY  - 2017
DO  - 10.4204/eptcs.234.6
UR  - https://arxiv.org/abs/1701.00629
ID  - 1701.00629
ER  -