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