Jarmużek T. Construction of tableaux for classical logic: Tableaux as combinations of branches, branches as chains of sets. LLP [Internet]. 2007 Jul. 25 [cited 2024 Jul. 27];16(1):85-101. Available from: https://apcz.umk.pl/LLP/article/view/LLP.2007.004