Plan-Space Explanation via Plan-Property Dependencies: Faster Algorithms & More Powerful Properties.
R. Eifler, M. Steinmetz, Á. Torralba, and J. Hoffmann. IJCAI, page 4091-4097. ijcai.org, (2020)Scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic..