1. Alchourrón Carlos, Peter Gärdenfors, David Makinson (1985) ‘On the logic of theory change: Partial meet contraction and revision functions’. Journal of Symbolic Logic 50:510–530
2. Alechina Natasha, Mark Jago, Brian Logan (2006) ‘Resource-bounded belief revision and contraction’. In: Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni (eds). Declarative Agent Languages and Technologies III, Third International Workshop, DALT 2005, vol. 3904 of LNCS. Springer, Berlin and Heidelberg, pp. 141–154
3. Anderson Alan Ross (ed) (1964) Minds and Machines. Contemporary Perspectives in Philosophy. Prentice Hall, Englewood Cliffs, NJ
4. Andréka Hajnal, Mark Ryan, Pierre-Yves Schobbens (2002) ‘Operators and laws for combining preference relations’. Journal of Logic and Computation 12:13–53
5. Avigad Jeremy (2003) ‘Number theory and elementary arithmetic’. Philosophia Mathematica 11:257–284