Contact Institute of Computer Science University of BernNeubrückstrasse 10CH-3012 BernSwitzerland Email prg.inf@unibe.ch