• [Unresolved junior primary homonym of Formica major Nylander, 1849 (Bolton, 1995b: 198).]
• Subspecies of †Formica lavateri: Scudder, 1891: 702; Dalla Torre, 1893: 200; Bolton, 1995b: 198.

Citations

• Bolton, B. 1995b. A new general catalogue of the ants of the world. Cambridge, Mass.: Harvard University Press, 504 pp.
• Dalla Torre, K. W. 1893. Catalogus Hymenopterorum hucusque descriptorum systematicus et synonymicus. Vol. 7. Formicidae (Heterogyna). Leipzig: W. Engelmann, 289 pp. PDF
• Heer, O. 1867. Fossile Hymenopteren aus Oeningen und Radoboj. Neue Denkschriften der Allgemeinen Schweizerischen Gesellschaft für die Gesammten Naturwissenschaften 22(4):1-42. PDF
• Scudder, S. H. 1891. Index to the known fossil insects of the world, including myriapods and arachnids. Bulletin of the United States Geological Survey 71:1-744. PDF