@article{ dblp2197835,
  title = {Active rules termination analysis based on activation path and enhanced formula},
  author = {Zhongmin Xiong and Menglu Zhao and Dongmei Huang and Shijun He and Wei Wang},
  author_short = {Xiong, Z. and Zhao, M. and Huang, D. and He, S. and Wang, W.},
  bibtype = {article},
  type = {article},
  year = {2013},
  key = {dblp2197835},
  id = {dblp2197835},
  biburl = {http://www.dblp.org/rec/bibtex/journals/ijiids/XiongZHHW13},
  url = {http://dx.doi.org/10.1504/IJIIDS.2013.051744},
  journal = {IJIIDS},
  pages = {53-78},
  number = {1},
  volume = {7},
  text = {IJIIDS 7(1):53-78 (2013)}
}

{"_id":"am7cGgGdAKbXSyEDS","bibbaseid":"xiong-zhao-huang-he-wang-activerulesterminationanalysisbasedonactivationpathandenhancedformula-2013","downloads":0,"creationDate":"2015-11-19T14:35:37.293Z","title":"Active rules termination analysis based on activation path and enhanced formula","author_short":["Xiong, Z.","Zhao, M.","Huang, D.","He, S.","Wang, W."],"year":2013,"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/ijiids/XiongZHHW13","bibdata":{"title":"Active rules termination analysis based on activation path and enhanced formula","author":["Zhongmin Xiong","Menglu Zhao","Dongmei Huang","Shijun He","Wei Wang"],"author_short":["Xiong, Z.","Zhao, M.","Huang, D.","He, S.","Wang, W."],"bibtype":"article","type":"article","year":"2013","key":"dblp2197835","id":"dblp2197835","biburl":"http://www.dblp.org/rec/bibtex/journals/ijiids/XiongZHHW13","url":"http://dx.doi.org/10.1504/IJIIDS.2013.051744","journal":"IJIIDS","pages":"53-78","number":"1","volume":"7","text":"IJIIDS 7(1):53-78 (2013)","bibtex":"@article{ dblp2197835,\n title = {Active rules termination analysis based on activation path and enhanced formula},\n author = {Zhongmin Xiong and Menglu Zhao and Dongmei Huang and Shijun He and Wei Wang},\n author_short = {Xiong, Z. and Zhao, M. and Huang, D. and He, S. and Wang, W.},\n bibtype = {article},\n type = {article},\n year = {2013},\n key = {dblp2197835},\n id = {dblp2197835},\n biburl = {http://www.dblp.org/rec/bibtex/journals/ijiids/XiongZHHW13},\n url = {http://dx.doi.org/10.1504/IJIIDS.2013.051744},\n journal = {IJIIDS},\n pages = {53-78},\n number = {1},\n volume = {7},\n text = {IJIIDS 7(1):53-78 (2013)}\n}","bibbaseid":"xiong-zhao-huang-he-wang-activerulesterminationanalysisbasedonactivationpathandenhancedformula-2013","role":"author","urls":{"Paper":"http://dx.doi.org/10.1504/IJIIDS.2013.051744"},"downloads":0},"search_terms":["active","rules","termination","analysis","based","activation","path","enhanced","formula","xiong","zhao","huang","he","wang"],"keywords":[],"authorIDs":["545edbd56aaec20d230009a3"],"dataSources":["47KzeYvH6pXpP85DK"]}