| Synonymous name | : | †Glochinodon detinens van Hoepen, 1916 | |
Ref: PBDB: 23 Jun 2016. |
| Synonymous name | : | †Glochinodontoides gracilis Haughton, 1924 | |
Ref: PBDB: 23 Jun 2016. |
| Synonymous name | : | †Notictosaurus gracilis Broom & Robinson, 1948 | |
Ref: PBDB: 26 Jul 2015. |