The HOL/NuPRL Proof Translator: A Practical Approach to Formal Interoperability (2001)

by P Naumov, M-O Stehr, J Meseguer
Venue:The 14th International Conference on Theorem Proving in Higher Order Logics, volume 2152 of LNCS