Lemma Mining over HOL Light

Cezary Kaliszyk and Josef Urban
Proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-19), Lecture Notes in Computer Science (Advanced Research in Computing and Software Science) 8312, pp. 503 – 517, 2013.

abstract   BibTeX   PDF   doi:10.1007/978-3-642-45221-5_34  
© Springer