Composition of hierarchic default specifications. - Francisco Miguel Alves Campos de Sousa Dionísio (1997)