10.1016/j.tcs.2007.06.001 10.1051/ita/2009017 10.1090/S0025-5718-2010-02407-X 10.1016/j.ejc.2005.11.005 10.1016/0304-3975(92)90264-G 10.1016/0166-218X(84)90006-4 10.1016/j.tcs.2010.06.020 10.1051/ita/2010012 10.1016/j.tcs.2010.05.017 10.1051/ita:2008021