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, P. R. China
4. Department of Computer Science, Zhongshan (Sun Yat-Sen) University, Guangzhou, P. R. China