Pavel Naumov, Mark-Oliver Stehr, José Meseguer. The HOL/NuPRL Proof Translator (A Practical Approach to Formal Interoperability). In Richard J. Boulton, Paul B. Jackson, editors, Theorem Proving in Higher Order Logics, 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001, Proceedings. Volume 2152 of Lecture Notes in Computer Science, pages 329-345, Springer, 2001. [doi]
@inproceedings{NaumovSM01,
title = {The HOL/NuPRL Proof Translator (A Practical Approach to Formal Interoperability)},
author = {Pavel Naumov and Mark-Oliver Stehr and José Meseguer},
year = {2001},
url = {http://link.springer.de/link/service/series/0558/bibs/2152/21520329.htm},
tags = {systematic-approach},
researchr = {https://researchr.org/publication/NaumovSM01},
cites = {0},
citedby = {0},
pages = {329-345},
booktitle = {Theorem Proving in Higher Order Logics, 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001, Proceedings},
editor = {Richard J. Boulton and Paul B. Jackson},
volume = {2152},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-42525-X},
}