Formica naefi Kutter, 1957 junior synonym of current valid taxon Formica foreli Bondroit, 1918
Formica (Coptoformica) naefi Kutter, 1957: 4, figs. 1-6 (w.q.m.) SWITZERLAND. Palearctic.
Primary type information: Primary type material: syntype workers, syntype queens, syntype males (numbers not stated). Primary type locality: Switzerland: Schuls (Unterengadin) (H. Kutter), Switzerland: Pradella (Schuls) (H. Kutter). Primary type depository: NHML. Type notes: Seifert, 2000a: 543, cites >80 workers, 5 queens, 13 male syntypes, the locality data of which are supplied by Seifert & Schultz, 2021: 204.
Citations