Van Nguyen, Vasileiou Loukas Stylianos, Tran Cao Son, William Yeoh: Explainable Planning Using Answer Set Programming. KR 2020: 662-666