Affiliation: | (1) Computer Science Department, University of Auckland (CITR), Tamaki Campus, Private Bag 92019, Auckland, New Zealand;(2) Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel, Preußerstrasse 1-9, 24105 Kiel, Germany |