đż JoaquĂn Arias Manuel Carro Zhuo Chen Gopal Gupta Justifications for Goal-Directed Constraint Answer Set Programming (2020)