The formation was first defined by
Spencer G. Lucas and Thomas E. Williamson in 1993 and named for the Hart Mine, an abandoned
coal mine. The beds were formerly assigned to the
Baca Formation but show differences in
lithology and appear to have been deposited in a different
sedimentary basin. However, the reassignment was disputed by Cather and collaborators, who argued that the lithological distinction is not great and the basin reconstruction was still speculative. Lucas responded in turn that the Hart Mine Formation has more abundant conglomerate than the Baca Formation and argued that this makes it lithologically distinct. However, the reassignment continues to be controversial. ==See also==