(1)
Jarmużek, T. Construction of Tableaux for Classical Logic: Tableaux As Combinations of Branches, Branches As Chains of Sets. LLP 2007, 16, 85-101.