A revision system based on delegate model for propositional logicDongchen JiangYihua Louet al.2009ICIECS 2009
A representative model based algorithm for maximal contractionsDongChen JiangYiHua Louet al.2012Science China Information Sciences