1. Dept. Computer Science, Centre for Discrete Mathematics and its Applications (DIMAP), University of Warwick, Warwick, United Kingdom
2. Dept. Computer Science, TU Dortmund & State Key Lab of Computer Science, Institute of Software, Chinese Academy of Sciences, Dortmund, Germany
3. Dept. Computer Science, TU Dortmund, Dortmund, Germany