1. Departament de Matemàtiques i Informàtica, Facultat de Matemàtiques i Informàtica, Universitat de Barcelona, Barcelona, Spain
2. Institute of Computer Science of the Czech Academy of Sciences, Prague, Czech Republic
3. Departament de Filosofia, Facultat de Filosofia, Universitat de Barcelona, Barcelona, Spain
4. Institute of Computer Science of the Czech Academy of Sciences, Prague, Czech Republic and Wydział Matematyki i Nauk Informacyjnych, Politechnika Warszawska, Warsaw, Poland