\(T\)-resolution: Refinements and model elimination
scientific article; zbMATH DE number 1279224