R. Geisberger, D. Luxen, S. Neubauer,
P. Sanders, L. Volker
Technical Report, July 30, 2009, Fakultät für Informatik, Universität Karlsruhe