Prof. Dr. Thomas Studer Logic and Theory Group Phone +41 31 684 3984 E-Mail thomas.studer@unibe.ch Office 316 Postal Address Neubrückstrasse 10 3012 Bern private website home.inf.unibe.ch/~tstuder/