Tolong jelaskan mengenai Penemuan dan penamaan dari Xiaosaurus

Pada tahun 1979 dan 1980, dua spesimen dinosaurus herbivor ditemukan selama penggalian di dekat Dashanpu di Sichuan. Pada tahun 1983, Dong Zhiming dan Tang Zilu menamai fosilnya dengan nama Xiaosaurus dashanpensis, yang mana merupakan spesies tipenya. Nama generiknya diambil dari bahasa Tionghoa xiǎo, 曉, yang berarti "fajar", berdasarkan umur fosilnya. Nama spesifiknya merujuk kepada Dashanpu.

Holotipenya, IVPP V6730A, ditemukan di Formasi Xiashaximiao bawah yang subkalanya tidak diketahui secara pasti: baik Bajokium dan Bathonium–Kallovium telah diusulkan. Holotipe terdiri dari sebagian kerangka termasuk pecahan rahang dengan satu gigi, dua tulang leher, empat tulang belakang ekor, sebuah tulang lengan atas, sebagian tulang paha kiri dan satu kaki belakang kanan yang utuh. Paratipe IVPP V6730B adalah sebagian kerangka termasuk satu tulang paha kanan, satu tulang belakang thoraks, dua tulang belakang sacral, satu tulang falang, sebuah tulang rusuk, dan dua gigi.

Pada tahun 1992, Peng Guangzhao menamai ulang Agilisaurus multidens oleh He & Cai 1983 (sekarang Hexinlusaurus) menjadi spesies Xiaosaurus kedua: Xiaosaurus multidens, namun penamaan ulang ini belum diterima.