Belief Base Change on Implicant Sets: How to Give Up Elements of a Belief Based on Literal Level | IEEE Conference Publication | IEEE Xplore