Normal form backward induction for decision trees with coherent lower previsions · Study