M. Holtgrewe, P. Sanders, C. Schulz
Technical Report, 2009, Fakultät für Informatik, Karlsruher Institut für Technologie