The expected complexity of analytic tableaux analyses in propositional calculus. II
scientific article; zbMATH DE number 1005827
scientific article