Lucidi, S. and Rinaldi, F. 2009. Exact Penalty Functions for Nonlinear Integer Programming Problems. Department of Computer and System Sciences Antonio Ruberti Technical Reports. 1, 10 (Sep. 2009).