Gonzalez-Sanchez, Alberto, Rui Abreu, Hans-Gerhard Gross, and Arjan J. C. van Gemund. “Spectrum-Based Sequential Diagnosis”. Proceedings of the AAAI Conference on Artificial Intelligence 25, no. 1 (August 4, 2011): 189-196. Accessed April 18, 2024. https://ojs.aaai.org/index.php/AAAI/article/view/7844.