1. College of Computer Science and Technology, Jilin University, China
2. Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Jilin University, China
3. College of Computer Science and Technology, Changchun University of Science and Technology, China
4. College of Computer Science and Technology, Jinan University, China