APA (7th ed.) Citation

International Workshop on HOL Theorem Proving System and Its Applications Davis, Calif. (1992). Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications: August 28 - 30, 1991, Davis, California. IEEE Computer Soc. Press.

Chicago Style (17th ed.) Citation

International Workshop on HOL Theorem Proving System and Its Applications Davis, Calif. Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications: August 28 - 30, 1991, Davis, California. Los Alamitos, Calif. u.a: IEEE Computer Soc. Press, 1992.

MLA (9th ed.) Citation

International Workshop on HOL Theorem Proving System and Its Applications Davis, Calif. Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications: August 28 - 30, 1991, Davis, California. IEEE Computer Soc. Press, 1992.