Justifications for Goal-Directed Constraint Answer Set Programming - Arias, J; Carro, M; Chen, Z; Gupta, G (Electronic Proceedings In Theoretical Computer Science, 2020)