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]
             Paraorder †Theropoda Marsh, 1881 [paraphyletic]
               Parasuborder †Ceratosauria Marsh, 1884 [paraphyletic] see Clade Ceratosauria Marsh 1895 [Rowe & Gauthier 1990]
                 Family †Halticosauridae Huene, 1948, nom. dub.
                   1 ?Genus †Dandakosaurus Yadagiri, 1982, nom. dub.
                   2 Genus †Dilophosaurus Welles, 1970
                   3 Genus †Dolichosuchus Huene, 1932, nom. dub.
                   4 Genus †Halticosaurus Huene, 1908, nom. dub.
                   5 Genus †Liliensternus Welles, 1984
                   6 Genus †Tanystrosuchus Kuhn, 1963, nom. dub.