HOL Light: An overview, in (2009)

by J Harrison
Venue:Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009