Rodler, P. Sequential Model-Based Diagnosis by Systematic Search (Abstract Reprint). AAAI 2024, 38, 22709-22709.