Gonzalez-Sanchez, A., Abreu, R., Gross, H.-G., & van Gemund, A. J. C. (2011). Spectrum-Based Sequential Diagnosis. Proceedings of the AAAI Conference on Artificial Intelligence, 25(1), 189-196. https://doi.org/10.1609/aaai.v25i1.7844