| Species | Name Used |
|---|---|
| Hornellia occidentalis (Barnard, 1959) | Hornellia occidentalis (p. 482 ) |
| Hornellia tequestae Thomas & Barnard, 1986 | Hornellia tequestae (p. 478-483 ) |
| Metaceradocus atlanticus Thomas & Barnard, 1986 | Metaceradocus atlanticus (p. 483-487 ) |