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]
No references recorded for this publication.
No citations of this publication recorded.