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