15th International Colloquium on Implementation
of Constraint and LOgic Programming Systems
28th August 2017, Melbourne, Australia
CICLOPS
2017