A revision system based on delegate model for propositional logicDongchen JiangYihua Louet al.2009ICIECS 2009