1. Institut für Informatik, Freie Universität Berlin, Takustraße 9, D-14195 Berlin, Germany
2. Department of Mathematics, IMFM and FMF, University of Ljubljana, Jadranska 19, SI-1000 Ljubljana, Slovenia
3. Department of Computer Science, School of Science and Technology, Middlesex University, The Burroughs, Hendon, London NW4 4BT, United Kingdom
4. Institut für Informatik, Universität Bayreuth, Universitätsstraße 30, D-95447 Bayreuth, Germany