Mizar Light for HOL Light (2001)

by Freek Wiedijk
Venue:TPHOLs 2001, volume 2152 of LNCS