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.,