1. M. Bulmer. Reasoning by Term Rewriting. PhD thesis, University of Tasmania, 1995.
2. M. Bulmer. Inductive Theories from Equational Systems. Submitted for publication, 1996.
3. M. Bulmer, D. Fearnley-Sander, and T. Stokes. Towards a Calculus of Algorithms. Bulletin of the Australian Mathematical Society, 50(1):81–89, 1994.
4. L. J. Cohen. An Introduction to the Philosophy of Induction and Probability. Oxford University Press, 1989.
5. N. Dershowitz. Completion and its Applications. In H. Aït Kaci and M. Nivat, editors, Resolution of Equations in Algebraic Structures, volume 2, pages 31–85. Academic Press, London, 1989.