《新唐书·列传·卷一百四十一》
正盟时，吐蕃将骁骑屯驻鲁州，灵州节度使李进诚大败虏骑于大石山。
方盟时，吐蕃以壮骑屯鲁州，灵州节度使李进诚与战大石山，破之。
During the main alliance, Tubo stationed its elite cavalry in Luzhou, and Lingzhou Jiedushi Li Jincheng defeated the cavalry in Dashishan.