• Status as species: Wheeler, 1930k: 81; Chapman & Capco, 1951: 198.
• Junior synonym of Proformica buddhaensis: Dlussky, 1969a: 226; Bolton, 1995b: 368.

Obsolete combinations

• Formica lefevrei

Citations

• Bolton, B. 1995b. A new general catalogue of the ants of the world. Cambridge, Mass.: Harvard University Press, 504 pp.
• Chapman, J. W.; Capco, S. R. 1951. Check list of the ants (Hymenoptera: Formicidae) of Asia. Monographs of the Institute of Science and Technology. Manila 1:1-327. PDF
• Dlussky, G. M. 1969a. Ants of the genus Proformica Ruzs. of the USSR and contiguous countries (Hymenoptera, Formicidae). [In Russian.]. Zoologicheskii Zhurnal 48:218-232. PDF
• Wheeler, W. M. 1929g. Some ants from China and Manchuria. American Museum Novitates 361:1-11. PDF
• Wheeler, W. M. 1930k. A list of the known Chinese ants. Peking Natural History Bulletin 5:53-81. PDF