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), 85–101. https://doi.org/10.12775/LLP.2007.004