Infraphylum Tetrapoda Goodrich, 1930 see Clade Tetrapoda Hatschek & Cori 1896 [Laurin 2020]
   Superclass Amniota Haeckel, 1866 see Clade Amniota Haeckel 1866 [Laurin & Reisz 2020]
     Paraclass Reptilia Linnaeus, 1758 [paraphyletic] - reptiles
       Parasubclass Diapsida Osborn, 1903 [paraphyletic] - diapsids see Clade Diapsida Osborn 1903 [Gauthier & de Queiroz 2020]
         Parainfraclass Archosauria Cope, 1869 [paraphyletic] see Clade Archosauria Cope 1869 [Gauthier & Padian 2020]
           Parasuperorder †Theropodomorpha Olshevsky, 1991 [paraphyletic]
             Order †Herrerasauria Galton, 1985
               1 Family †Staurikosauridae Galton, 1977 see Family Herrerasauridae Benedetto, 1973
               2 Family †Herrerasauridae Benedetto, 1973
               3 Genus †Aliwalia Galton, 1986, incertae sedis
               4 Genus †Walkeria Chatterjee, 1986, nom. illeg., incertae sedis see Genus Alwalkeria Chatterjee & Creisler, 1994