基于项重写的形式化排序方法及应用 - 陈晨; 陈卫红; 闫振天; 祝跃飞 (Tongxin xuebao)