An Interpretation of Isabelle/HOL in HOL Light (2006)

by McL06 S McLaughlin
Venue:Proceedings of the 3rd International Joint Conference on Automated Reasoning, volume 4130 of Lecture Notes in Computer Science