Nguyen, Van, Tran Cao Son, and William Yeoh. 2021. “Explainable Problem in Clingo-Dl Programs”. Proceedings of the International Symposium on Combinatorial Search 12 (1):231-32. https://doi.org/10.1609/socs.v12i1.18593.