Xia Wu Jigui Sun Shuai Lu Ying Li Wei Meng Minghao Yin Improved Propositional Extension Rule. 592-597 2006 conf/rskt/2006 RSKT http://dx.doi.org/10.1007/11795131_86 db/conf/rskt/rskt2006.html#WuSLLMY06