Linking Other Theorem Provers to HOL Using PM: Proof Manager

Myla Archer, George Fink, Lie Yang. Linking Other Theorem Provers to HOL Using PM: Proof Manager. In Luc J. M. Claesen, Michael J. C. Gordon, editors, Higher Order Logic Theorem Proving and its Applications, Proceedings of the IFIP TC10/WG10.2 Workshop HOL 92, Leuven, Belgium, 21-24 September 1992. Volume A-20 of IFIP Transactions, pages 539-548, North-Holland/Elsevier, 1992.

Possibly Related Publications

The following publications are possibly variants of this publication: