1. College of Computer Science and Technology, Jilin University, Changchun, Jilin 130012, China
2. Key Laboratory of Symbol Computation and Knowledge Engineering of The Ministry of Education, Changchun, Jilin 130012, China
3. School of Information Technology and Electrical Engineering, The University of Queensland, St Lucia, Brisbane, QLD 4072, Australia