Stern, R.; Kalech, M.; Feldman, A.; Provan, G. Exploring the Duality in Conflict-Directed Model-Based Diagnosis. AAAI 2021, 26, 828-834.