《新唐书·本纪·卷八·穆宗 敬宗 文》
二十八日，灵武节度使李进诚在大石山与吐蕃军交战，打败吐军。
辛卯，灵武节度使李进诚及吐蕃战于大石山，败之。
On the 28th, Li Jincheng, the Jiedushi of Lingwu Commandery, fought with the Tibetan army in Dasishan and defeated the Tibetan army.