Yifan Xu Explanation through Dialogue for Reasoning Systems. 2964-2966 2023 AAMAS https://dl.acm.org/doi/10.5555/3545946.3599139 conf/atal/2023 db/conf/atal/aamas2023.html#Xu23