S. Gupta, N. Roos, C. Witteveen, B. Price, and J. DeKleer, “Exploiting Shared Resource Dependencies in Spectrum Based Plan Diagnosis”, AAAI, vol. 26, no. 1, pp. 2425–2426, Sep. 2021.