1. Applied Dynamic Programming;Bellman,1962
2. A Computational Logic;Boyer,1979
3. Set theory in first-order logic: clauses for Gödel's axioms;Boyer;J. Automated Reasoning,1986
4. R. Boyer, J. Moore, Mechanized formal reasoning about programs and computing machines, in: R. Veroff (Ed.), Automated Reasoning and Its Applications, MIT Press, Cambridge, 1997, pp. 147–176
5. Symbolic Logic and Mechanical Theorem Proving;Chang,1973