George Fink, Myla Archer, Lie Yang. PM: A Proof Manager for HOL and Other Provers. In Myla Archer, Jeffrey J. Joyce, Karl N. Levitt, Phillip J. Windley, editors, Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, August 1991, Davis, California, USA. pages 286-304, IEEE Computer Society, 1991.
@inproceedings{FinkAY91,
title = {PM: A Proof Manager for HOL and Other Provers},
author = {George Fink and Myla Archer and Lie Yang},
year = {1991},
researchr = {https://researchr.org/publication/FinkAY91},
cites = {0},
citedby = {0},
pages = {286-304},
booktitle = {Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, August 1991, Davis, California, USA},
editor = {Myla Archer and Jeffrey J. Joyce and Karl N. Levitt and Phillip J. Windley},
publisher = {IEEE Computer Society},
}