Improved Propositional Extension RuleXia Wu, Minghao Yin, Meng Wei et al.|Lecture notes in computer science|2006Cited by 6