Proceedings of IJCAR 2006, the third International Joint Conference on Automated Reasoning. Springer LNCS 4130, pp. 177-191.
@INPROCEEDINGS{harrison-holhol, author = "John Harrison", title = "Towards self-verification of HOL Light", editor = "Ulrich Furbach and Natarajan Shankar", booktitle = "Proceedings of the third International Joint Conference, IJCAR 2006", address = "Seattle, WA", year = 2006, publisher = "Springer-Verlag", series = "Lecture Notes in Computer Science", volume = 4130, pages = "177--191"}