Sieg, W., Field, C. (2005) Automated search for Gödel's proofs. Annals of Pure and Applied Logic, 133, 319-338.
We present strategies and heuristics underlying a search procedure that finds proofs for Gödel's incompleteness theorems at an abstract axiomatic level.
Sieg, W., Field, C. (2005) Automated search for Gödel's proofs. Annals of Pure and Applied Logic, 133, 319-338.