Protoformica

Distribution
This taxon is known from and.

Nomenclature

 * † PROTOFORMICA [Formicinae: Formicini]
 * †Protoformica Dlussky, 1967b: 83 [as subgenus of Formica]. Type-species: †Formica (Protoformica) proformicoides, by original designation.
 * †Protoformica raised to genus: Dlussky & Fedoseeva, 1988: 77.