[1]
A. Feldman, I. Pill, F. Wotawa, I. Matei, and J. de Kleer, “Efficient Model-Based Diagnosis of Sequential Circuits”, AAAI, vol. 34, no. 03, pp. 2814-2821, Apr. 2020.