Feldman, Alexander, Ingo Pill, Franza Wotawa, Ion Matei, and Johan de Kleer. “Efficient Model-Based Diagnosis of Sequential Circuits”. Proceedings of the AAAI Conference on Artificial Intelligence 34, no. 03 (April 3, 2020): 2814-2821. Accessed June 25, 2022. https://ojs.aaai.org/index.php/AAAI/article/view/5670.