Fusco, M. The Gibbard-Harper Collapse Lemma for Counterfactual Decision Theory. Proceedings of the AC 2017, 265-274. https://doi.org/10.53437/pphh1327.