TY  - RPRT
TI  - On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic
AU  - Richard Booth
AU  - Thomas Meyer
AU  - Ivan Varzinczak
AU  - Renata Wassermann
PY  - 2014
DO  - 10.1613/jair.3364
UR  - https://arxiv.org/abs/1401.3902
ID  - 1401.3902
ER  -