Joakim von Wright. Representing Higher-Order Logic Proofs in HOL. Comput. J., 38(2):171-179, 1995.
@article{Wright95:0, title = {Representing Higher-Order Logic Proofs in HOL}, author = {Joakim von Wright}, year = {1995}, tags = {logic}, researchr = {https://researchr.org/publication/Wright95%3A0}, cites = {0}, citedby = {0}, journal = {Comput. J.}, volume = {38}, number = {2}, pages = {171-179}, }