@misc{indiciaebddba57d8c8c,
  title = {Subtree perfectness, backward induction, and normal-extensive form equivalence for single agent sequential decision making under arbitrary choice functions},
  author = {Nathan Huntley and Matthias C. M. Troffaes},
  year = {2011},
  url = {https://arxiv.org/abs/1109.3607},
  note = {Source identifier: 1109.3607}
}