Gundersen, L. (2003) “The master argument and branching time”, Logic and Logical Philosophy, 5(5), pp. 49–60. doi: 10.12775/LLP.1997.004.