A sequential elimination algorithm for computing bounds on the clique number of a graph
scientific article; zbMATH DE number 5312365