Improved backward traversing algorithms