Andrea Walther Program reversals for evolutions with non-uniform step costs. 235-263 2004 40 Acta Inf. 4 http://dx.doi.org/10.1007/s00236-003-0131-x db/journals/acta/acta40.html#Walther04