1. Faculty of Informatics, TU Wien, Favoritenstraße 9–11, 1040 Vienna, Austria
2. Department of Information Technologies, Åbo Akademi University, Joukahainengatan 3-5, 20520 Turku, Finland
3. Laboratoire d’Algorithmique, Complexité et Logique, Université Paris Est Créteil, 61 av. du général de Gaulle, 94010 Créteil, France