Taxonomic Reasoning. - Giuseppe Attardi; Andrea Corradini 001; S. Diomedi; Maria Simi (ECAI, 1986)