Proformica mongolica valid Mongolia. Palearctic.
Emery, C. 1901m. [Untitled. Descriptions of new taxa: Messor barbarus Linn. var. lobulifera Emery n. var.; Formica nasuta Nyl. subspec. mongolica Emery n. subspec.]. P. 159 in: Mocsáry, S.; Szépligeti, V. 1901. Hymenopterák (Hymenopteren). Pp. 121-169 in: Horváth, G. 1901. Zichy Jenó Gróf harmadik ázsiai utazásának állattani eredményei. Vol. 2. Budapest: V. Hornyánsky, xli + 470 pp.   124654

Proformica mongolica buddhaensis obsolete combination China (Tibet). Palearctic.
Ruzsky, M. 1915a. On the ants of Tibet and the southern Gobi. On material collected on the expedition of Colonel P. K. Kozlov. [In Russian.]. Ezhegodnik Zoologicheskago Muzeya 20:418-444.   128191