Udi Boker Nachum Dershowitz 44-57 2006 178 Applied Mathematics and Computation 1 http://dx.doi.org/10.1016/j.amc.2005.09.069 db/journals/amc/amc178.html#BokerD06