R. Geisberger
Technical Report, October 5, 2010, Fakultät für Informatik, Karlsruher Institut für Technologie