Relating models of backtracking