1. Alchourrón, C.E., P. Gärdenfors, and D. Makinson. 1985. “On the logic of Theory Change: Partial meet functions for contraction and revision.” Journal of Symbolic Logic 50: 510–530
2. Dunn, J.M. 1976. “A Kripke-Style Semantics for R-Mingle Using a Binary Accessibility Relation”, Studia Logica, 35, 163–172.
3. Gärdenfors, P. 1988. Knowledge in Flux: Modeling the Dynamics of Epistemic States, The MIT Press, Cambridge, Mass.
4. Girle, R.A. 1982 “Semantic Tableau for Logics around RM”, Australian Logic Teachers' Journal, 6(3), 1–20.
5. Girle, R.A. 1989a “Logic Programming with Semi-classical Model-set Semantics”, Ninth International Workshop Expert Systems and their Applications, General Conference, Volume 1, Avignon, May 29–June 2, 101–114.