TY - RPRT TI - Negation in the Head of CP-logic Rules AU - Joost Vennekens PY - 2013 UR - https://arxiv.org/abs/1312.6156 ID - 1312.6156 ER -