The Commission has ruled that the generic name Procynosuchus Broom, 1937 for a group of Permian cynodonts (family procynosuchidae) has precedence over the older names Cyrbasiodon Broom, 1931 and Parathrinaxodon Parrington, 1936 whenever these genera are considered to be synonyms.
Procynosuchus Broom, 1937 (Therapsida, Cynodontia): generic name conserved," The Bulletin of Zoological Nomenclature 67(4), 348-349, (1 December 2010). https://doi.org/10.21805/bzn.v67i4.a17