Horn Belief Contraction: Remainders, Envelopes and Complexity.

Published in: AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)