Matching concepts across HOL libraries. In (2014)

by Thibault Gauthier, Cezary Kaliszyk
Venue:Proc. of the 7th Conference on Intelligent Computer Mathematics (CICM’14),