Jarmużek, Tomasz. “Construction of Tableaux for Classical Logic: Tableaux As Combinations of Branches, Branches As Chains of Sets”. Logic and Logical Philosophy 16, no. 1 (July 25, 2007): 85–101. Accessed April 25, 2024. https://apcz.umk.pl/LLP/article/view/LLP.2007.004.