On the link between partial meet, kernel, and infra contraction and its application to Horn logic - Booth, Richard; Meyer, Thomas; Varzinczak, Ivan; Wassermann, Renata (Journal of Artificial Intelligence Research, 2011)