1. Ambler, S „ A categorical approach to the semantics of argumentation“ Mathematical Structures, 1996.
2. Das S K, Fox J, Krause P J „A unified framework for hypothetical and practical reasoning (1): Theoretical Foundations“ in D M Gabbay and H J Ohlbach, Practical Reasoning, Berlin: Springer 1996.
3. Fox J, Symbolic Decision Procedures for Knowledge Based Systems, in H Adeli (ed) Knowledge Engineering, volume 2, New York: McGraw Hill, 1990.
4. Fox J „On the soundness and safety of expert systems“ Artificial Intelligence in Medicine, 5, 159–179, 1993.
5. Fox J, Glowinski A J, O'Neil M „The Oxford System of Medicine“ Artificial Intelligence in Medicine, 1990.