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