《资治通鉴·唐纪·唐纪七》
丙子，高祖派遣燕郡王李艺在华亭县及弹筝峡驻兵，派遣水部郎中姜行本切断石岭的通路，以便防备突厥。
丙子，遣燕郡王李艺屯华亭县及弹筝峡，水部郎中姜行本断石岭道以备突厥。
In Bing Zi, Gaozu sent King Li Yi of Yanjun to garrison in Huating County and Danzheng Gorge, and sent Jiang Xingben, the Minister of Water, to cut off the passage to Shiling to guard against the Turks.