1. College of Science, Shenzhen University, Shenzhen 518060, P. R. China
2. Key Laboratory of Mathematics Mechanization, CAS, Beijing 100080, P. R. China
3. Department of Computer Science, Hong Kong Baptist University, Hong Kong, China
4. School of Information Science & Technology, Sun Yat-Sen University, Guangzhou 510275, P. R. China
5. Department of Computer Science, Chongqing University, Chongqing 400044, P. R. China