An interface between clam and HOL (1997)

by BSBG98 R Boulton, K Slind, A Bundy, M Gordon
Venue:Proc. TACS’97, volume 1281 of Lecture Notes in Computer Science