A recursive procedure for generating all mixed integer cuts | lit.salon