College of Computer Science and Technology;
Jilin University;
Changchun 130012;
Jilin;
China;
Key Laboratory for Symbolic Computation and Knowledge Engineering of Ministry of Education;
Jilin University;
Changchun 120012;
Jilin;
China;
Department of Computer Science;
Northeast Normal University;
Changchun 130024;
Jilin;
China;