1. Department of Computer Science & Technology, Jilin University, Changchun 130012, China
2. Key Laboratory of Symbol Computation and Knowledge Engineering of Ministry of Education, Jilin University, Changchun 130012, China
3. Department of Software Engineering, Jilin University, Changchun 130012, China
4. Department of EECS, University of Central Florida, Orlando, FL 32816, USA