Integrating Gandalf and HOL. In Bertot et al (1997)

by Joe Hurd
Venue:42] Tanel Tammet. Gandalf. Journal of Automated Reasoning