TY - RPRT TI - Papers presented at the 32nd International Conference on Logic Programming (ICLP 2016) AU - Manuel Carro AU - Andy King PY - 2016 UR - https://arxiv.org/abs/1608.05440 ID - 1608.05440 ER -