Sphenacodontoidea

Sphenacodontoidea est créé en 1997 par les paléontologues canadiens Michel Laurin et Robert R. Reisz (en). À noter que la terminaison « -oidea » est habituellement celle d'une super-famille alors que ce taxon n'est pas un.