Franz Baader
TU Dresden
Theoretical Computer Science
D-01062 Dresden
Germany
baader@tcs.inf.tu-dresden.de

Carsten Lutz
TU Dresden
Theoretical Computer Science
D-01062 Dresden
Germany
clu@tcs.inf.tu-dresden.de