Atefeh Rohani Logic and Theory Group Telefon +41 31 511 7609 E-Mail atefeh.rohani@inf.unibe.ch Büro 308 Postadresse Neubrückstrasse 10 3012 Bern
