1. Soochow University, School of Computer Science and Technology, Suzhou, China + Jilin University, Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Changchun, China
2. Soochow University, School of Computer Science and Technology, Suzhou, China
3. Lund University, Lund, Sweden