Linking Other Theorem Provers to HOL Using PM (1993)

by M Archer, G Fink, L Yang
Venue:Proof Manager, Proceedings of the 1992 International Workshop on the HOL Theorem Proving System and its Applications, North-Holland