P. Naumov, Mark-Oliver Stehr, and J. Meseguer.
The HOL/NuPRL proof translator -- A practical approach to formal
interoperability.
In Theorem Proving in Higher Order Logics, 14th International
Conference, TPHOLs'2001, Edinburgh, Scotland, UK , September 3-6, 2001,
Proceedings, Lecture Notes in Computer Science, pages 329 - 345.
Springer-Verlag, 2001.
@INPROCEEDINGS{Naumov+01, AUTHOR = {Naumov, P. and Stehr, Mark-Oliver and Meseguer, J.}, BOOKTITLE = {Theorem Proving in Higher Order Logics, 14th International Conference, TPHOLs'2001, Edinburgh, Scotland, UK , September 3--6, 2001, Proceedings}, PAGES = {329 -- 345}, PUBLISHER = Springer, SERIES = LNCS, TITLE = {The {HOL/NuPRL} Proof Translator --- {A} Practical Approach to Formal Interoperability}, YEAR = 2001 }