APA (7th ed.) Citation

Melham, T. F., Claesen, L. J. M., & Gordon, M. J. C. (1993). Higher order logic theorem proving and its applications: Proceedings of the IFIP TC10/WG10.2 internat. workshop, Leuven, Belgium, 21 - 24 Sept., 1992 ([1st ed.].). North-Holland Publishing.

Chicago Style (17th ed.) Citation

Melham, Thomas F., L. J. M. Claesen, and M. J. C. Gordon. Higher Order Logic Theorem Proving and Its Applications: Proceedings of the IFIP TC10/WG10.2 Internat. Workshop, Leuven, Belgium, 21 - 24 Sept., 1992. [1st ed.]. Amsterdam: North-Holland Publishing, 1993.

MLA (9th ed.) Citation

Melham, Thomas F., et al. Higher Order Logic Theorem Proving and Its Applications: Proceedings of the IFIP TC10/WG10.2 Internat. Workshop, Leuven, Belgium, 21 - 24 Sept., 1992. [1st ed.]. North-Holland Publishing, 1993.