Sigogneau y Russell (1989) crearon el infraorden Biarmosuchia para incluir las familias Biarmosuchidae, Hipposauridae y Ictidorhinidae, distintas a Eotitanosuchia y Phthinosuchia.