Horn clause contraction functions - Delgrande, James P.; Wassermann, Renata (Journal of Artificial Intelligence Research, 2013)