SUPERCLASS: AMNIOTA HAECKEL, 1866

CLASS: REPTILIA LAURENTI, 1768

SUBCLASS: PARAREPTILIA OLSON 1947

INFRACLASS: SAUROPSIDA HUXLEY, 1864

SUPERORDER: EUREPTILIA OLSON, 1947

ORDER: CAPTORHINOMORPHA WATSON, 1917

SUBORDER: CAPTORHINOMORPHA WATSON, 1917

Family: CAPTORHINIDAE Case, 1911

Subfamily: MORADISAURINAE De Ricquiles et al. 1982

*Rothia multidontia
= Rothianiscus mulidontia

_____________________________________________________________________________________

SUPERCLASS: AMNIOTA HAECKEL, 1866

CLASS: REPTILIA LAURENTI, 1768

SUBCLASS: SYNAPSIDA OSBORN, 1903

ORDER: PELYCOSAURIA COPE, 1878

SUBORDER: CASEASAURIA WILLISTON, 1912

Family: CASEIDAE Williston, 1912

*Cotylorhynchus hancocki

SUPERORDER: THERASPID BROOM, 1905

GRANDORDER: EUTHERAPSIDA

MICRORDER: NEOTHERAPSIDA

ORDER: ANOMODONTIA WATSON & ROMER, 1956

Superfamily: VENYUKOVIOIDEA Efremov, 1940 (sensu Efremov, 1956)

Family: DIMACRODONTIDAE Olson & Beerbower, 1953

*Dimacrodon hottoni

SUPERCLASS: AMNIOTA HAECKEL, 1866

CLASS: REPTILIA LAURENTI, 1768

SUBCLASS: SYNAPSIDA OSBORN, 1903

ORDER: PELYCOSAURIA COPE, 1878

SUBORDER: EUPELYCOSAURIA KEMP, 1982

INFRAORDER: DIMETRODONTOMORPHA emend NOPCSA, 1925

Family: SPHENACODONTIDAE Marsh, 1878

Subfamily: SPHENACODONTINAE Marsh, 1878 (sensu Nopcsa, 1925)

Tribe: SPHENACODONTINI Marsh, 1878

*Steppesaurus gurleyi

_____________________________________________________________________________________