Clemens Richter

Technische Universität Wien (Vienna University of Technology)
AG Theoretische Informatik und Logik (Theory and Logic Group E185-2)
Favoritenstrasse 9-11
A-1040 Wien
Austria

e-mail: richter@logic.at