Möller, M. O., & Ruess, H. (1999). Solving Bit-Vector Equations of Fixed and Non-Fixed Size. BRICS Report Series, 6(18). https://doi.org/10.7146/brics.v6i18.20075