Oleksiak, Jakub, and Antoni Ligęza. “Structural Model and Reasoning in Hierarchical Diagnosis”. Computer Assisted Methods in Engineering and Science 12, no. 2-3 (November 30, 2022): 195–206. Accessed January 12, 2025. https://cames3.ippt.pan.pl/index.php/cames/article/view/989.