Jarmużek, Tomasz. 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.