Don Syme. A New Interface for HOL - Ideas, Issues and Implementation. In E. Thomas Schubert, Phillip J. Windley, Jim Alves-Foss, editors, Higher Order Logic Theorem Proving and Its Applications, 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings. Volume 971 of Lecture Notes in Computer Science, pages 324-339, Springer, 1995.
@inproceedings{Syme95, title = {A New Interface for HOL - Ideas, Issues and Implementation}, author = {Don Syme}, year = {1995}, researchr = {https://researchr.org/publication/Syme95}, cites = {0}, citedby = {0}, pages = {324-339}, booktitle = {Higher Order Logic Theorem Proving and Its Applications, 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings}, editor = {E. Thomas Schubert and Phillip J. Windley and Jim Alves-Foss}, volume = {971}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-60275-5}, }