@article{article4ce24f6d,
title   = {On the link between partial meet, kernel, and infra contraction and its application to Horn logic},
author = {Booth, Richard and Meyer, Thomas and Varzinczak, Ivan and Wassermann, Renata},
year = {2011},
doi = {10.5555/2208436.2208438},
journal   = {Journal of Artificial Intelligence Research}
}