Identifying Minimally Infeasible Subsystems of Inequalities. - John Gleeson; Jennifer Ryan (INFORMS J. Comput., 1990)