JARMUŻEK, Tomasz. Construction of tableaux for classical logic: Tableaux as combinations of branches, branches as chains of sets. Logic and Logical Philosophy. Online. 25 July 2007. Vol. 16, no. 1, pp. 85-101. [Accessed 27 July 2024]. DOI 10.12775/LLP.2007.004.