JARMUŻEK, T. Construction of tableaux for classical logic: Tableaux as combinations of branches, branches as chains of sets. Logic and Logical Philosophy, [S. l.], v. 16, n. 1, p. 85–101, 2007. DOI: 10.12775/LLP.2007.004. Disponível em: https://apcz.umk.pl/LLP/article/view/LLP.2007.004. Acesso em: 28 mar. 2024.