G.V. Batz, R. Geisberger, D. Luxen, P. Sanders
Technical Report, November 22, 2010, Fakultät für Informatik, Karlsruher Institut für Technologie, arXiv:1011.4465v1