GUNDERSEN, Lars. The master argument and branching time. Logic and Logical Philosophy. Online. 27 October 2003. Vol. 5, no. 5, pp. 49-60. [Accessed 25 July 2024]. DOI 10.12775/LLP.1997.004.