Formalism ordering method based on term rewriting and plication
Chen CHEN,Wei-hong CHEN,Zhen-tian YAN,Yue-fei ZHU
Journal on Communications . 2011, (3): 138 -142 .  DOI: 1000-436X(2011)03-0138-05