Prof. Dr. Thomas Studer Logic and Theory Group Telefon +41 31 684 3984 E-Mail thomas.studer@inf.unibe.ch Büro 315 Postadresse Neubrückstrasse 10 3012 Bern Pers. Website home.inf.unibe.ch/~tstuder/