Redundancy in linear inequality system | Publicación