Towards self-verification of hol light (2006)

by John Harrison
Venue:In IJCAR