PD Dr. Kaspar Riesen Logic and Theory Group E-Mail kaspar.riesen@inf.unibe.ch Office 309 Postal Address Neubrückstrasse 10 3012 Bern