Definition-like Extensions by Sorts. - Claudia Meré María; Paulo A. S. Veloso (Log. J. IGPL, 1995)