An efficient PMC model-based local diagnosis structure and algorithm. - Meirun Chen; Cheng-Kuan Lin; Stafen Wang (Theor. Comput. Sci., 2025)