Möller, M. Oliver, and Harald Ruess. “Solving Bit-Vector Equations of Fixed and Non-Fixed Size”. BRICS Report Series 6, no. 18 (January 18, 1999). Accessed January 8, 2026. https://tidsskrift.dk/brics/article/view/20075.