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