レドンダサウルス
現在のレドンダサウルスとして記載された最初の標本は1939年にニューメキシコ州に分布するトラヴェッサー層(英語版)でD・E・サヴェージが発見したものであり、サヴェージはそれをマカエロプロソプス(英語版)として記載した。ニューメキシコ州では1947年にレドンダ層(英語版)で別の植竜類の頭蓋骨が発見され、エドウィン・ハリス・コルバートとT・J・グレゴリーはこれを新タクソンのものであると判断した。加えて、上側頭窓が背側から見て隠れていることを根拠に、彼らはこの頭蓋骨が北アメリカの植竜類の中では派生的であると提唱した。第三の頭蓋骨はD・S・ベルマンが1980年に発見しており、後にPseudopalatus buceros、現在の Machaeroprosopus buceros として分類されている。
1992年に発表した論文でスペンサー・G・ルーカスとエイドリアン・P・ハントは、ニューメキシコ州北部から中部にかけての層序と古生物相を議論する中で、未命名の植竜類について言及した。翌年の論文で両名は初めてレドンダサウルスという属名を命名した。この属名は発見地であるメサ・レドンダ(ニューメキシコ州クワイ郡トゥクムカリ)とギリシア語で「トカゲ」を意味する "saurus" に由来する。
レドンダサウルスの頭蓋骨の大多数が発見されているチンリ層群は河成堆積物と湖沼堆積物により構成されている。チンリ層に堆積した化石は氾濫原・湿原・沼・河川チャネルに起源を持つものである。さらなる古生物学的・堆積物学的証拠からは、チンリの気候が莫大な降水量に強く影響を受けたとする仮説が支持されている。
レドンダサウルスの化石は5体がアメリカ合衆国ニューメキシコ州、1体が同国ユタ州から回収されている。特に発見されている層序はニューメキシコ州のロックポイント層(チンリ層群の一部)、トラヴェッサー層、レドンダ層である。チンリ層群はアエトサウルス目(英語版)に関心を持つ古生物学者にとって特に重要であり、後期三畳紀の生物編年学(英語版)の成立に深く関与している。ユタ州ではウィンゲート砂岩層で化石が産出している。
レドンダサウルスは陸上脊椎動物化石群の指標となる生物として重要である。レドンダサウルスの化石は時間的な制約を受けており、加えて同定が容易であるため、示準化石として用いられているのである。レドンダサウルスの化石層序を相関させることで、アメリカ合衆国南西部のレドンダ産地の年代を局所的に関連付けることが可能である。標徴形質が追加されたこと、また文献で見られるレドンダサウルスの頭蓋骨の数も増加したことで、示準化石としての役割を適用可能な範囲がより拡大する可能性も見込まれる。