On the link between partial meet, kernel, and infra contraction and its application to horn logic. (2011)

by Richard Booth, Thomas Meyer, Ivan Varzinczak, Renata Wassermann
Venue:J. Artif. Int. Res.,