Ji qi ting ji [36 juan] ; Jing shi wen da : [10 juan] ; Ji qi ting ji wai bian : [50 juan, 99 ch. - Quan, Zuwang 1705-1755; Quan, Zuwang 1705-1755 (Si bu cong kan ji bu, 1929)