Proceedings of the 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems

Open in new window