《史记·韩信卢绾列传第三十三》 - 十一年冬，汉兵击斩陈豨将侯敞、王黄于曲逆下，破豨将张春于聊城，斩首万馀。

太尉勃入定太原、代地^[3]。 十二月，上自击东垣^[4]，东垣不下，卒骂上；东垣降，卒骂者斩之，不骂者黥之^[5]。更名东垣为真定。王黄、曼丘臣其麾下受购赏之^[6]，皆生得，以故陈豨军遂败。

上还至洛阳。上曰：“代居常山北，赵乃从山南有之，远。”乃立子恒为代王^[7]，都中都^[8]，代、雁门皆属代^[9]。

高祖十二年冬，樊哙军卒追斩豨于灵丘^[10]。

【段意】 写汉王消灭陈豨叛军的经过。其中经历了三个阶段：一是汉王十一年冬，汉军与陈豨军交战，斩将破城，取得胜利，并命周勃入定太原和代地；二是同年十二月，汉王亲自帅兵攻打东垣，取得了最后胜利，惩罚了抵抗和谩骂汉王的敌军，奖赏了王、曼部下中受购之人，并立其子刘恒为代王，管理代地；三是第二年十二月，汉王派樊哙在灵丘杀死了陈豨。