T. Jarmużek, “Construction of tableaux for classical logic: Tableaux as combinations of branches, branches as chains of sets”, LLP, vol. 16, no. 1, pp. 85–101, Jul. 2007.