《新五代史·世家·南汉世家第五》
十年，湖南王进逵出兵五万率溪洞蛮进攻郴州，潘崇彻在蚝石打败王进逵，杀一万多人。
十年，湖南王进逵以兵五万率溪洞蛮攻郴州，潘崇彻败进逵于豪石，斩首万余级。
In the tenth year, Wang Jinkui, the King of Hunan, advanced with an army of 50,000 to attack Chenzhou with the barbarians of Xidong. Pan Chongche defeated Wang Jinkui at Haoshi, killing over 10,000 men.