Title: A recursive procedure for generating all mixed integer cuts