1. Bundy, A., McNeill, F.: Representation as a fluent: An AI challenge for the next half century. IEEE Intelligent Systems 21(3), 85–87 (2006)
2. McNeill, F., Bundy, A.: Dynamic, automatic, first-order ontology repair by diagnosis of failed plan execution. IJSWIS, Special issue on ontology matching 3(3), 1–35 (2007)
3. Bundy, A.: Where’s my stuff? An ontology repair plan. In: Ahrendt, W., Baumgartner, P., de Nivelle, H. (eds.) Proceedings of the Workshop on Disproving - Non-Theorems, Non-Validity, Non-Provability, Bremen, Germany, July 2007, pp. 2–12 (2007),
http://www.cs.chalmers.se/~ahrendt/CADE07-ws-disproving/
4. Miller, D., Nadathur, G.: An overview of λProlog. In: Bowen, R. (ed.) Proceedings of the Fifth International Logic Programming Conference/ Fifth Symposium on Logic Programming. MIT Press, Cambridge (1988)
5. Bundy, A.: A science of reasoning. In: Lassez, J.L., Plotkin, G. (eds.) Computational Logic: Essays in Honor of Alan Robinson, pp. 178–198. MIT Press, Cambridge (1991)