• Emery, 1899b: 18 (m.); Forel, 1902a: 155 (m.)
• Combination in Formica (Proformica): Emery, 1909b: 204.
• Combination in Proformica: Kuznetsov-Ugamsky, 1928a: 8.
• Combination in Bajcaridris: Agosti, 1994b: 99.
• Status as species: Emery, 1899b: 18; Forel, 1902a: 155; Emery, 1909b: 204; Wheeler, 1913i: 547 (redescription); Emery, 1925d: 244; Kuznetsov-Ugamsky, 1928a: 8; Agosti, 1994b: 99; Bolton, 1995b: 80; Borowiec, 2014: 21.

Obsolete combinations

• Formica kraussii

Citations

• Agosti, D. 1994b. The phylogeny of the ant tribe Formicini (Hymenoptera: Formicidae) with the description of a new genus. Systematic Entomology 19:93-117. PDF
• Bolton, B. 1995b. A new general catalogue of the ants of the world. Cambridge, Mass.: Harvard University Press, 504 pp.
• Borowiec, L. 2014. Catalogue of ants of Europe, the Mediterranean Basin and adjacent regions (Hymenoptera: Formicidae). Genus (Wroclaw) 25 (1-2):1-340. PDF
• Emery, C. 1899b. Glanures myrmécologiques (Hymén.). Bulletin de la Société Entomologique de France 1899:17-20. PDF
• Emery, C. 1909b. Beiträge zur Monographie der Formiciden des paläarktischen Faunengebietes. (Hym.) Teil VII. Deutsche Entomologische Zeitschrift 1909:179-204. PDF
• Emery, C. 1925d. Hymenoptera. Fam. Formicidae. Subfam. Formicinae. Genera Insectorum 183:1-302. PDF
• Forel, A. 1895e. Südpalaearctische Ameisen. Mitteilungen der Schweizerischen Entomologischen Gesellschaft 9:227-234. PDF
• Forel, A. 1902a. Les fourmis du Sahara algérien récoltées par M. le Professeur A. Lameere et le Dr. A. Diehl. Annales de la Société Entomologique de Belgique 46:147-158. PDF
• Kuznetsov-Ugamsky, N. N. 1928a. Beiträge zur Ameisenfauna Mittelasiens. I. Die Gattung Proformica, Ruzsky 1903. Zoologischer Anzeiger 75:7-23. PDF
• Wheeler, W. M. 1913i. A revision of the ants of the genus Formica (Linné) Mayr. Bulletin of the Museum of Comparative Zoology 53:379-565. PDF