Matching concepts across HOL libraries (2014)

by Thibault Gauthier, Cezary Kaliszyk
Venue:CICM’15, volume 8543 of LNCS