Gonzalez-Sanchez, Alberto, Rui Abreu, Hans-Gerhard Gross, and Arjan J. C. van Gemund. 2011. “Spectrum-Based Sequential Diagnosis”. Proceedings of the AAAI Conference on Artificial Intelligence 25 (1):189-96. https://doi.org/10.1609/aaai.v25i1.7844.