Vertebrata Cuvier, 1812 - vertebrates
Gnathostomata
Teleostomi
Tetrapoda Hatschek & Cori 1896 [Gauthier, Kluge & Rowe 1988]
Amniota Haeckel, 1866 [Gauthier, Kluge & Rowe 1988] - amniotes
Class Reptilia Linnaeus, 1758 [paraphyletic] - reptiles
Subclass Diapsida Osborn, 1903 - diapsids
see Clade Diapsida Osborn 1903 [Gauthier & de Queiroz 2020]
Infraclass Archosauromorpha Huene, 1946
see Clade Archosauromorpha Huene 1946 [Benton 1985], nom. cl. inval.
Superorder Archosauria Cope, 1869 - archosaurs
see Clade Archosauria Cope 1869 [Gauthier & Padian 1985], nom. cl. inval.
Order Crocodylia Wagler, 1830 - crocodiles
Suborder †Mesosuchia Huxley, 1875
Family †Libycosuchidae (Stromer, 1914) [monotypic]
1 Genus †Libycosuchus Stromer, 1915