Iridomyrmex gracilis, Broun, 1910

Herman, Lee H., 2001, Catalog of the Staphylinidae (Insecta: Coleoptera). 1758 to the End of the Second Millennium. I. Introduction, History, Biographical Sketches, and Omaliine Group, Bulletin of the American Museum of Natural History 2001 (265), pp. 1067-1806 : 1067-1806

gracilis Broun, 1910 , see: Paratorchus .

grandis Bernhauer, 1928: 8 ( Holotrochus ; Type locality: Sumatra: Bah Lias, Medan ).

— Scheerpeltz, 1933: 1130 ( Holotrochus ; catalog).

- DISTRIBUTION: Indonesia.

hanagarthi Irmler, 1982: 387 ( Holotrochus ; Type locality: Peru: Pucallpa , Loreto).

— Irmler, 1987: 84 ( Holotrochus ; characters).

- DISTRIBUTION: Peru.

helmsi Fauvel, 1900 , see: Paratorchus .

heterodontus Coiffait, 1979: 52 ( Holotrochus ; subgenus Holotrochus ; Type locality: Madagascar Est: Baie d’Antongil).

- DISTRIBUTION: Madagascar.

hulstaerti Bernhauer, 1935 , see: Holotrochopsis .

hyleae Irmler, 1987: 100 ( Holotrochus ; Type locality: Colombia: Amaz., 7 km N. Leticia).

- DISTRIBUTION: Colombia.

ingae Irmler, 1982: 394 ( Holotrochus ; Type locality: Itajuba , Minas Gerais).

— Irmler, 1987: 86 ( Holotrochus ; characters).

- DISTRIBUTION: Brazil.

inpai Irmler, 1982: 392 ( Holotrochus ; Type locality: Brazil: Manaus , Amazonas).

— Irmler, 1987: 85 ( Holotrochus ; characters).

- DISTRIBUTION: Brazil.

insularis Coiffait, 1979: 51 ( Holotrochus ; subgenus Holotrochus ; Type locality: Madagascar Sambirano, Nosy Komba).

- DISTRIBUTION: Madagascar.

irmleri Herman, 2001: 40 ( Holotrochus ; replacement name for lineatocollis Irmler ).

- DISTRIBUTION: Panama.

lineatocollis Irmler, 1987: 103 ( Holotrochus ; [preoccupied]; Type locality: Canal Zone: Barro Colorado Is.).

— Herman, 2001: 40 ( Holotrochus ; synonym of irmleri ).

isabelae Hernández and Outerelo, 1994: 22 ( Holotrochus ; Type locality: Isabela Island: Entrance of Sucre Cave , Sto. Thomás).

- DISTRIBUTION: Galapagos Islands.

italavianus Coiffait, 1979: 59 ( Holotrochus ; subgenus Holotrochus ; Type locality: Madagascar Est: 6 km au Nord-Ouest de Fanovana, Italaviana, 730 m).

- DISTRIBUTION: Madagascar.

jarrigei Coiffait, 1979: 56 ( Holotrochus ; subgenus Holotrochus ; Type locality: Madagascar Est: maroantsetra).

- DISTRIBUTION: Madagascar.

javanus Cameron, 1936a: 34 ( Holotrochus ; Type locality: Java: G. Goentoer, Preanger).

- DISTRIBUTION: Indonesia.

laevicauda LeConte, 1866: 376 ( Lispinus ; Type locality: Illinois).

— LeConte, 1877: 216 ( Holotrochus ; characters; Illinois; New Mexico; Louisiana).

— Fauvel, 1905a: 136 ( Holotrochus ; characters; Illinois; New Mexico; Louisiana).

— Blatchley, 1910: 474 ( Holotrochus ; characters; Indiana).

— Bernhauer and Schubert, 1911: 142 ( Holotrochus ; catalog).

— Chapin, 1928: 65 ( Holotrochus ; characters in key; Michigan; Kentucky).

— Scheerpeltz, 1933: 1130 ( Holotrochus ; catalog).

— Moore and Legner, 1975: 173 ( Neotrochus ; catalog).

— Campbell and Davies, 1991: 92 ( Holotrochus ; checklist of species; Canada).

— Downie and Arnett, 1996: 428 ( Neotrochus ; characters; USA).

- DISTRIBUTION: USA.