Proceedings of the 1994 International Workshop on Higher Order Logic theorem proving and its applications, Valletta, Malta. Springer LNCS 859, pp. 254-268, 1994.
NB! This paper is superseded in its main theme by a newer version
@INPROCEEDINGS{harrison-hol94, crossref = "hol94", author = "John Harrison", title = "Binary Decision Diagrams as a {HOL} Derived Rule", pages = "254--268"} @PROCEEDINGS{hol94, editor = "Thomas F. Melham and Juanito Camilleri", booktitle = "Higher Order Logic Theorem Proving and Its Applications: Proceedings of the 7th International Workshop", series = "Lecture Notes in Computer Science", volume = 859, address = "Valletta, Malta", date = "19--22 September 1994", year = 1994, publisher = "Springer-Verlag"}