Feldman A, Pill I, Wotawa F, Matei I, de Kleer J. Efficient Model-Based Diagnosis of Sequential Circuits. AAAI [Internet]. 2020Apr.3 [cited 2024Sep.20];34(03):2814-21. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/5670