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 18 December 2025]. DOI 10.12775/LLP.2007.004.