Esto hizo de ANSP 9535 el lectotipo de "Aublysodon", que fue formalizado por Carpenter en 1982.