Construction of tableaux for classical logic: Tableaux as combinations of branches, branches as chains of sets

Logic and Logical Philosophy, Tom 16, Numer 1 (2007) s. 85-101
Tomasz Jarmużek