G.V. Batz, R. Geisberger, P. Sanders
Technical Report, April 24, 2008, Fakultät für Informatik, Universität Karlsruhe