1. LACIM, Université du Québec a Montréal, Montréal, Québec, Canada
2. Department of Computer Science, Durham University, Durham, UK
3. Department of Mathematics and Informatics, University of Novi Sad, Novi Sad, Serbia
4. Department of Computer Science, University of Oxford, Oxford, UK