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

by Alchourr on, C E, P G ardenfors, D Makinson
Venue:Journal of Symbolic Logic