Towards self-verification of HOL (2006)

by J Harrison
Venue:IJCAR 2006. LNCS