1. Faculty of Mathematics and Physics, Charles University, Prague, Czech Republic
2. Department of Computer Science, University of Oxford, Oxford, United Kingdom
3. Department of Mathematics and Computer Science, University of Catania, Catania, Italy