Jarmużek, T. 2007. Construction of tableaux for classical logic: Tableaux as combinations of branches, branches as chains of sets. Logic and Logical Philosophy. 16, 1 (Jul. 2007), 85–101. DOI:https://doi.org/10.12775/LLP.2007.004.