Return to Article Details On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic Download Download PDF