Clark and Benton did not initially provide an exact definition for Crocodyliformes; but, in 2001, Paul Sereno and colleagues defined it as the clade including Protosuchus richardsoni and the Nile crocodile, plus all descendants of their common ancestor.
Clark e Benton non deron inicialmente unha definición exacta de Crocodyliformes; pero en 2001 Paul Sereno e colegas definírono como o clado que comprende Protosuchus richardsoni e o crocodilo do Nilo e mais todos os descendentes do seu antepasado común.