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