1. Department of Computer Science and Technology and the Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Jilin University, Changchun, China
2. School of Computer and Information Sciences, Temple University, Philadelphia, PA, USA