M. O. Möller og H. Ruess, “Solving Bit-Vector Equations of Fixed and Non-Fixed Size”, BRICS, bd. 6, nr. 18, jan. 1999.