基于项重写的形式化排序方法及应用
陈晨,陈卫红,闫振天,祝跃飞
Formalism ordering method based on term rewriting and plication
Chen CHEN,Wei-hong CHEN,Zhen-tian YAN,Yue-fei ZHU
通信学报 . 2011, (3): 138 -142 .  DOI: 1000-436X(2011)03-0138-05