REN Jian, LI Zhan-shan, WANG Song, KOU Fei-hong, SUN Ji-gui
(College of Computer Science and Technology, Jilin University, Changchun 130012, China; Key Laboratory of Symbolic Computation and Knowledge Engineering for Ministry of Education, Jilin University, Changchun 130012, China)