%0 Journal Article %1 journals/eswa/ZhangZFO11 %A Zhang, Li-Ming %A Zeng, Hai-Lin %A Yang, Fang %A Ouyang, Dantong %D 2011 %J Expert Syst. Appl. %K dblp %N 6 %P 7511-7516 %T Dynamic theorem proving algorithm for consistency-based diagnosis. %U http://dblp.uni-trier.de/db/journals/eswa/eswa38.html#ZhangZFO11 %V 38

@article{journals/eswa/ZhangZFO11, added-at = {2017-03-21T00:00:00.000+0100}, author = {Zhang, Li-Ming and Zeng, Hai-Lin and Yang, Fang and Ouyang, Dantong}, biburl = {https://www.bibsonomy.org/bibtex/2bf5c2510a90822dc72fedede3534a795/dblp}, ee = {http://dx.doi.org/10.1016/j.eswa.2010.12.117}, interhash = {b68167317001688d6818826a265af457}, intrahash = {bf5c2510a90822dc72fedede3534a795}, journal = {Expert Syst. Appl.}, keywords = {dblp}, number = 6, pages = {7511-7516}, timestamp = {2017-03-22T11:34:38.000+0100}, title = {Dynamic theorem proving algorithm for consistency-based diagnosis.}, url = {http://dblp.uni-trier.de/db/journals/eswa/eswa38.html#ZhangZFO11}, volume = 38, year = 2011 }