"fossil" . "Pinacosuchus is an extinct genus of crocodylomorph. Its fossils were found in the Late Cretaceous-age North Horn Formation of Utah (United States). Pinacosuchus was a diminutive crocodylomorph with spiky armor, and is known only from meagre remains."@en . . . "Pinacosuchus"@en . . .