Afiliation : University of Berne Address: Universitat Bern, Institut fur Informatik, Neubruckstr. 10, 3012 Bern Phone: +41 31 631 86 81 Fax: +41 31 631 39 65 E-mail: Research area :