R. Geisberger
Technical Report, February 4, 2010, Fakultät für Informatik, Karlsruhe Institute of Technology