• 0032 자치통감(1084)
十二月，高句麗王遣使朝貢，帝復其王號。
http://qindex.info/i.php?x=3952