Bit-Vector Rewriting using Union-Find with Offsets / Author Christoph Sperl. Linz, Mai 2016