Cunha A, Pinto JS, Abal I, Hurd J.? 2012.??Using Term Rewriting to Solve Bit-Vector Arithmetic Problems - (Poster Presentation). Proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing - SAT. 7317:493-495.