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

by C Alchourrón, P Gärdenfors, D Makinson
Venue:Journal of Symbolic Logic