Nguyen, V., Son, T. C. and Yeoh, W. (2021) “Explainable Problem in clingo-dl Programs”, Proceedings of the International Symposium on Combinatorial Search, 12(1), pp. 231–232. doi: 10.1609/socs.v12i1.18593.