Procellosaurinus tetradactylus
Kaliwatan sa muraghalas ang Procellosaurinus tetradactylus. Una ning gihulagway ni Rodrigues ni adtong 1991. Ang Procellosaurinus tetradactylus sakop sa kahenera nga Procellosaurinus, ug kabanay nga Gymnophthalmidae. 

Kini nga matang hayop na sabwag sa:
 Bahia (estado)

Walay nalista nga matang nga sama niini.

Ang mga gi basihan niini 

Muraghalas
Muraghalas sa Bahia (estado)
Procellosaurinus