Kasenberg, D.; Thielstrom, R.; Scheutz, M. Generating Explanations for Temporal Logic Planner Decisions. ICAPS 2020, 30, 449-458.