Integrating Gandalf and HOL (1999)

by Joe Hurd
Venue:Theorem Proving in Higher Order Logics: TPHOLs ā€™99, LNCS 1690
Citations:44 - 2 self