Integer Programming and m-irreducibility of numerical semigroups - Víctor Blanco; Justo Puerto (2011)