On the Logic of Theory Change: Partial Meet Contraction and Revision Functions. (1985)

by C Alchourron, P Gärdenfors, D Makinson
Venue:Journal of Symbolic Logic