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