Jarmużek, T. “Construction of Tableaux for Classical Logic: Tableaux As Combinations of Branches, Branches As Chains of Sets”. Logic and Logical Philosophy, vol. 16, no. 1, July 2007, pp. 85-101, doi:10.12775/LLP.2007.004.