『冊府元亀』986　外臣部（三十一）征討第五　顕慶三年六月条

（顕慶）三年六月、営州都督兼東夷都護程名振、右領軍郎将薛仁貴率兵攻高麗、之去烽鎮、即拔之、斬首四百餘級、生擒首領以下百餘人。俄而高麗遣其大将立方婁率衆三万人来拒官軍、名振率契丹兵逆撃、大破之、逐北二十餘里、斬首二千五百級。