1. Alchourrón, C. E., P. Gärdenfors, and D. Makinson: 1985, ?On the Logic of Theory Change: Partial Meet Contraction and Revision Functions?,Journal of Symbolic Logic 50, 510?530.
2. Alchourrón, C. E. and D. Makinson: 1985, ?On the Logic of Theory Change: Safe Contractions?,Studia Logica 44, 405?422.
3. Alchourrón, C. E. and D. Makinson: 1986, ?Maps Between Some Different Kinds of Contraction Function: The Finite Case?,Studia Logica 45, 187?198.
4. Gärdenfors, Peter: 1988,Knowledge in Flux. Modeling the Dynamics of Epistemic States, Bradford/MIT, Cambridge (Massachussetts).
5. Gärdenfors, Peter and David Makinson: 1988, ?Revision of Knowledge Systems using Epistemic Entrenchment?, in M. Vardi (ed.),Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge, Los Altos, CA: Morgan Kaufmann, pp. 83?95.