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 April 20, 2024. https://tidsskrift.dk/brics/article/view/20075.