GUNDERSEN, L. The master argument and branching time. Logic and Logical Philosophy, [S. l.], v. 5, n. 5, p. 49–60, 2003. DOI: 10.12775/LLP.1997.004. Disponível em: https://apcz.umk.pl/LLP/article/view/LLP.1997.004. Acesso em: 24 oct. 2021.