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