On the logic of theory change: Partial meet contraction and revision functions (1985)

by C Alchourron, P Gardenfors, D Makinson
Venue:Journal of Symbolic Logic