Richard Booth, Thomas Meyer, Ivan Varzinczak, Renata Wassermann. On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic.
Journal of Artificial Intelligence Research (JAIR), 2011, 42, pp.31-53.
⟨hal-03673922⟩