Petrosaurus Boulenger, 1885
Petrosaurus mearnsi mearnsi (Stejneger, 1894)
Petrosaurus mearnsi slevini (Van Denburgh, 1922)