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