R. Stern, M. Kalech, A. Feldman, and G. Provan, “Exploring the Duality in Conflict-Directed Model-Based Diagnosis”, AAAI, vol. 26, no. 1, pp. 828–834, Sep. 2021.