TY - RPRT TI - Justifications for Goal-Directed Constraint Answer Set Programming AU - JoaquĆ­n Arias AU - Manuel Carro AU - Zhuo Chen AU - Gopal Gupta PY - 2020 DO - 10.4204/eptcs.325.12 UR - https://arxiv.org/abs/2009.10238 ID - 2009.10238 ER -