Część autorów podjęła próbę przedefiniowania antrakozaurów, tak aby stały się one grupą monofiletyczną. Gauthier, Kluge i Rowe (1988) zdefiniowali Anthracosauria jako klad obejmujący owodniowce i wszystkie czworonogi bliżej spokrewnione z nimi niż z Amphibia (przy czym autorzy ci definiowali Amphibia jako klad obejmujący współczesne Lissamphibia i wszystkie czworonogi bliżej spokrewnione z nimi niż z owodniowcami). Jeśli grupy Embolomeri, Gephyrostegidae i Seymouriamorpha nie należą do grupy koronnej czworonogów, to przyjęcie tej definicji doprowadzi do sytuacji, w której zwierzęta tradycyjnie zaliczane do antrakozaurów – w tym należąca do Embolomeri rodzina Anthracosauridae z rodzajem Anthracosaurus – nie będą należeć do tak definiowanych Anthracosauria. Z tej przyczyny Laurin (2001) przedefiniował Anthracosauria jako największy (obejmujący najwięcej gatunków) klad, do którego należy gatunek Anthracosaurus russelli, ale do którego nie należy Ascaphus truei. Ze względu na niepewną pozycję filogenetyczną Embolomeri w obrębie czworonogów nie jest pewne, czy do tak definiowanych Anthracosauria należałby też szereg innych grup czworonogów (w tym Gephyrostegidae, Seymouriamorpha, diadektomorfy i owodniowce), czy też obejmowałyby one jedynie Embolomeri.