Dynamic theorem proving algorithm for consistency-based diagnosis. - Liming Zhang 005; Hai-Lin Zeng; Fang Yang; Dantong Ouyang (Expert Syst. Appl., 2011)