desmatosuchine

Etymology

Clipping of taxonomic name Desmatosuchinae.

noun

Any member of the Desmatosuchinae, a major subfamily of aetosaurs, which are not technically dinosaurs.