An algorithm for determining redundant inequalities and all solutions to convex polyhedra
scientific article; zbMATH DE number 3453056