1. School of Computer Science, Wuhan University, China and Department of Mathematics and Computing Science, University of Groningen, Netherlands
2. School of Computer Science, Wuhan University, China
3. Department of Mathematics and Computing Science, University of Groningen, Netherlands