Nguyen, V.; Son, T. C.; Yeoh, W. Explainable Problem in Clingo-Dl Programs. SOCS 2021, 12, 231-232.