Michael Baur Logic and Theory Group Phone +41 31 511 7632 E-Mail michael.baur@inf.unibe.ch Office 311 Postal Address Neubrückstrasse 10 3012 Bern
