Kurt Ammon An Automatic Proof of Gödel's Incompleteness Theorem. 291-306 1993 61 Artif. Intell. 2 db/journals/ai/ai61.html#Ammon93 http://dx.doi.org/10.1016/0004-3702(93)90070-R