1. College of Computer Science and Technology and the Key Laboratory of Symbolic Computation and Knowledge Engineering, Ministry of Education, Jilin University, Changchun, China
2. Department of Computer Science, Texas A&M University, Commerce, TX, USA