TY  - RPRT
TI  - Proceedings of the 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems
AU  - Nicos Angelopoulos
AU  - Roberto Bagnara
PY  - 2013
UR  - https://arxiv.org/abs/1302.0126
ID  - 1302.0126
ER  -