Incremental Knowledge Compilation Using the Extension Rule. - Ying Liu; Wenxiang Gu; Tingting Zou; Qingtao Huang; Qiao Li (J. Networks, 2013)