sarcophagus" como "Deinodon sarcophagus" y en 1939 el paleontólogo alemán Oskar Kuhn renombró "A.