Art Quaife Automated Proofs of Löb's Theorem and Gödel's Two Incompleteness Theorems. 219-231 1988 4 J. Autom. Reasoning 2 db/journals/jar/jar4.html#Quaife88