Equivalent sets of consequences of linear inequality systems.
scientific article; zbMATH DE number 5138892