Prof. Dr. Thomas Strahm Logic and Theory Group Telefon +41 31 631 4998 E-Mail thomas.strahm@inf.unibe.ch Büro 316 Postadresse Neubrückstrasse 10 3012 Bern Pers. Website home.inf.unibe.ch/~strahm/index.html