Regina-Pacis-Weg 3
Postfach 2220
Bonn, D-53012
Germany
University of Bonn
formal proof, mechanized reasoning, auction theory