• Espadaler & Cagniant, 1987: 133 (m.)
• Combination in Proformica: Cagniant, 1964: 110.
• Combination in Bajcaridris: Agosti, 1994b: 99.
• Status as species: Agosti, 1994b: 99; Bolton, 1995b: 80; Cagniant, 2006: 194; Borowiec, 2014: 21.

Obsolete combinations

• Formica theryi

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
• Cagniant, H. 1964 ("1962"). Étude de quelques fourmis marocaines. Statistique provisoire des Formicidae du Maroc. Bulletin de la Société d'Histoire Naturelle de l'Afrique du Nord 53:83-118. PDF
• Cagniant, H. 2006. Liste actualisee des fourmis du Maroc (Hymenoptera: Formicidae). Myrmecologische Nachrichten 8:193-200. PDF
• Espadaler, X.; Cagniant, H. 1987. Contribution à la connaissance des fourmis marocaines. Description du mâle de Proformica theryi Santschi, 1936 (Hymenoptera, Formicidae). Nouvelle Revue d'Entomologie (n.s.)4:133-138. PDF
• Santschi, F. 1936c. Liste et descriptions de fourmis du Maroc. Bulletin de la Société des Sciences Naturelles du Maroc 16:198-210. PDF