A combinatorial analysis for the critical clause tree
scientific article; zbMATH DE number 6153885