Li-Ming Zhang, Hai-Lin Zeng, Fang Yang, Dan-tong Ouyang. Dynamic theorem proving algorithm for consistency-based diagnosis. Expert Syst. Appl., 38(6):7511-7516, 2011. [doi]
@article{ZhangZFO11, title = {Dynamic theorem proving algorithm for consistency-based diagnosis}, author = {Li-Ming Zhang and Hai-Lin Zeng and Fang Yang and Dan-tong Ouyang}, year = {2011}, doi = {10.1016/j.eswa.2010.12.117}, url = {http://dx.doi.org/10.1016/j.eswa.2010.12.117}, tags = {rule-based, consistency}, researchr = {https://researchr.org/publication/ZhangZFO11}, cites = {0}, citedby = {0}, journal = {Expert Syst. Appl.}, volume = {38}, number = {6}, pages = {7511-7516}, }