Gonzalez-Sanchez A, Abreu R, Gross H-G, Van Gemund AJC.? 2011.??Spectrum-based sequential diagnosis. Twenty-Fifth AAAI Conference on Artificial Intelligence 2011.