Notes

Selected Works of J Strother Moore

Robert S. Boyer and J Strother Moore, A Computational Logic (Academic Press, 1979).

J Strother Moore, "Automatic Theorem Proving Research Group," http://www.cs.utexas.edu/users/moore/atp/index.html (Department of Computer Sciences, University of Texas at Austin, accessed 2004 Nov 11).