1. Institute of Informatics, University of Warsaw, Poland
2. Lehrstuhl für Logic und Semantik, Technische Universität Berlin, Germany
3. Department of Computer Science, Royal Holloway University of London, United Kingdom
4. University of Bremen, Bremen, Germany