Dietmar Saupe
University of Konstanz
Department of Computer and Information Science
Konstanz Germany
78467