G.V. Batz, R. Geisberger, P. Sanders, and C. Vetter
Journal of Experimental Algorithmics (JEA), Volume 18, Article No. 1.4, 2013.