Richard J. Boulton Konrad Slind Alan Bundy Michael J. C. Gordon An Interface between Clam and HOL. 87-104 1998 conf/tphol/1998 TPHOLs db/conf/tphol/tphol98.html#BoultonSBG98 http://dx.doi.org/10.1007/BFb0055131