Finite checkability for integer rounding properties in combinatorial programming problems. - Stephen Baum; Leslie E. Trotter Jr. (Math. Program., 1982)