How to Avoid the Formal Verification of a Theorem Prover.

Alessandro Avellone Marco Benini Ugo Moscato How to Avoid the Formal Verification of a Theorem Prover. 2001 9 Logic Journal of the IGPL 1 http://www3.oup.co.uk/igpl/Volume_09/Issue_01/#Avellone db/journals/igpl/igpl9.html#AvelloneBM01