"The logic of backward induction."

Itai Arieli, Robert J. Aumann (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics