V. Nguyen, T. C. Son, and W. Yeoh, “Explainable Problem in clingo-dl Programs”, SOCS, vol. 12, no. 1, pp. 231–232, Jul. 2021.