Twenty years of theorem proving for HOLs: Past, present and future (0)

by M J C Gordon
Venue:Theorem Proving in Higher Order Logics (TPHOLs 2008), volume 5170 of LNCS