LI Zhanshan, KOU Fei-hong, OUYANG Dan-tong, SUN Ji-gui
College of Computer Science and Technology, Jilin University, Changchun 130012, China; Key Laboratory of Symbol Computation and Knowledge Engineering for Ministry of Education, Jilin University, Changchun 130012, China