(1)
Möller, M. O.; Ruess, H. Solving Bit-Vector Equations of Fixed and Non-Fixed Size. BRICS 1999, 6.