TY - RPRT TI - Subtree perfectness, backward induction, and normal-extensive form equivalence for single agent sequential decision making under arbitrary choice functions AU - Nathan Huntley AU - Matthias C. M. Troffaes PY - 2011 UR - https://arxiv.org/abs/1109.3607 ID - 1109.3607 ER -