Gupta, Shekhar, Nico Roos, Cees Witteveen, Bob Price, and Johan DeKleer. 2021. “Exploiting Shared Resource Dependencies in Spectrum Based Plan Diagnosis”. Proceedings of the AAAI Conference on Artificial Intelligence 26 (1):2425-26. https://doi.org/10.1609/aaai.v26i1.8427.