Proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics, TPHOLs'96, Springer LNCS 1125, pp. 203-220, 1996.
@INPROCEEDINGS{harrison-mizar, author = "John Harrison", title = "A Mizar Mode for {HOL}", pages = "203--220", editor = "Joakim von Wright and Jim Grundy and John Harrison", booktitle = "Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs'96", series = "Lecture Notes in Computer Science", volume = 1125, address = "Turku, Finland", date = "26--30 August 1996", year = 1996, publisher = "Springer-Verlag"}