TY - RPRT TI - Online Proceedings of the 11th International Colloquium on Implementation of Constraint LOgic Programming Systems (CICLOPS 2011), Lexington, KY, U.S.A., July 10, 2011 AU - Salvador Abreu AU - Vitor Santos Costa PY - 2011 UR - https://arxiv.org/abs/1112.4993 ID - 1112.4993 ER -