Finding a tree structure in a resolution proof is NP-complete
scientific article; zbMATH DE number 5559010