Möller MO, Ruess H. Solving Bit-Vector Equations of Fixed and Non-Fixed Size. BRICS [Internet]. 1999 Jan. 18 [cited 2024 Apr. 26];6(18). Available from: https://tidsskrift.dk/brics/article/view/20075