"Dinocephalosaurus" es el "primer registro de un reptil protosáurido (Orden Protorosauria) del Triásico Medio de China".