Eifler, R.; Cashmore, M.; Hoffmann, J.; Magazzeni, D.; Steinmetz, M. A New Approach to Plan-Space Explanation: Analyzing Plan-Property Dependencies in Oversubscription Planning. AAAI 2020, 34, 9818-9826.