们使用安蒂欧兽下目来取代巨形兽科与安蒂欧兽科。他们提出以下概要：在1988年，作为Gutsav Fischer Verlag编写《"Encyclopedia of Paleoherpetology"》计画的一部分，Gillian King重新研究异齿亚目，也研究了恐头兽亚目，他使用了传统林奈氏分类法，同时将草食性物种置于安蒂欧兽超科之内。值得注意的是他将伟鳄兽亚科与貘头兽亚科列为同等级：Bruce Rubidge与Christian Sidor在2001年提出范围更大的兽孔目演化树：Secti