Gupta, S.; Roos, N.; Witteveen, C.; Price, B.; DeKleer, J. Exploiting Shared Resource Dependencies in Spectrum Based Plan Diagnosis. AAAI 2021, 26, 2425-2426.