Integrating Gandalf and HOL (1999)

by Joe Hurd
Venue:Theorem Proving in Higher Order Logics: TPHOLs ’99, LNCS 1690