Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem.

Alan Bundy Fausto Giunchiglia Adolfo Villafiorita Toby Walsh Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem. 319-346 1997 19 J. Autom. Reasoning 3 db/journals/jar/jar19.html#BundyGVW97