Open and Closed Worlds for Overloading: a Definition and Support for Coexistence. - Carlos Camarão 001; Cristiano D. Vasconcellos; Lucília Figueiredo; João Nicola (J. Univers. Comput. Sci., 2007)