1. College of Computer Science and Technology, Jilin University, Changchun, Jilin 130012, P. R. China
2. Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Jilin University, Changchun, Jilin 130012, P. R. China
3. School of Natural and Computing Sciences, University of Aberdeen, Aberdeen AB24 3UE, UK
4. BioSNTR, Brookings, SD, USA