On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic

Open in new window