Taxonomic history
[Redescribed in Latin: Mayr, 1880 PDF: 27.].Combination in Formica (Proformica): Ruzsky, 1905b: 421.Combination in Proformica: Kuznetsov-Ugamsky, 1927b PDF: 28.Combination in Proformica (Alloformica): Dlussky, 1969a PDF: 219.Combination in Alloformica: Dlussky et al., 1990 PDF: 143.See also: Agosti, 1994b PDF: 99.