%0 Journal Article %1 journals/ccsecis/XuXZZ09 %A Xu, Desheng %A Xia, Kejian %A Zhang, Dezheng %A Zhang, Huangsheng %D 2009 %J Computer and Information Science %K dblp %N 1 %P 12-17 %T Model Checking the Inconsistency and Circularity in Rule-Based Expert Systems. %U http://dblp.uni-trier.de/db/journals/ccsecis/ccsecis2.html#XuXZZ09 %V 2

@article{journals/ccsecis/XuXZZ09, added-at = {2019-05-22T00:00:00.000+0200}, author = {Xu, Desheng and Xia, Kejian and Zhang, Dezheng and Zhang, Huangsheng}, biburl = {https://www.bibsonomy.org/bibtex/27798313d564ed02c4461484b763bdb8e/dblp}, ee = {https://doi.org/10.5539/cis.v2n1p12}, interhash = {769bfac9eb757c7d5c4d38f367729986}, intrahash = {7798313d564ed02c4461484b763bdb8e}, journal = {Computer and Information Science}, keywords = {dblp}, number = 1, pages = {12-17}, timestamp = {2019-05-23T11:38:47.000+0200}, title = {Model Checking the Inconsistency and Circularity in Rule-Based Expert Systems.}, url = {http://dblp.uni-trier.de/db/journals/ccsecis/ccsecis2.html#XuXZZ09}, volume = 2, year = 2009 }