Extending Inverse Resolution to Build Up Abstractions. - Attilio Giordana; Lorenza Saitta; R. Finelli; M. Paderni; Davide Roverso (AI*IA, 1991)