Theorem Proving Based on the Extension Rule. - Hai Lin 008; Jigui Sun; Yimin Zhang 005 (J. Autom. Reason., 2003)

Knowledge Compilation Using the Extension Rule. - Hai Lin 008; Jigui Sun (J. Autom. Reason., 2004)

Counting Models using Extension Rules. - Minghao Yin; Hai Lin 008; Jigui Sun (AAAI, 2007)