Octavio Mateus nombró a la especie "Ceratosaurus dentisulcatus".