P. Rodler, “Sequential Model-Based Diagnosis by Systematic Search (Abstract Reprint)”, AAAI, vol. 38, no. 20, pp. 22709–22709, Mar. 2024.