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

by Carlos E Alchourrón, Peter Gärdenfors, David Makinson
Venue:J. Symb. Log