[1]
M. O. Möller and H. Ruess, “Solving Bit-Vector Equations of Fixed and Non-Fixed Size”, BRICS, vol. 6, no. 18, Jan. 1999.