"Horn Clause Belief Change: Contraction Functions."

James P. Delgrande (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics