Term: Induseum griseum
Definition: According to Wyss and Sripanidkulchai 1983 (see note 12).
Nomenclature: Swanson-1998