APA (7th ed.) Citation

IFIP TC 10/WG 10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications-HOL '92 Louvain, Belgium, International Federation for Information Processing, Claesen, L. J. M., & Gordon, M. J. C. (1993). Higher order logic theorem proving and its applications. North-Holland.

Chicago Style (17th ed.) Citation

IFIP TC 10/WG 10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications-HOL '92 Louvain, Belgium, International Federation for Information Processing, Luc J. M. Claesen, and M. J. C. Gordon. Higher Order Logic Theorem Proving and Its Applications. Amsterdam ; New York: North-Holland, 1993.

MLA (9th ed.) Citation

IFIP TC 10/WG 10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications-HOL '92 Louvain, Belgium, et al. Higher Order Logic Theorem Proving and Its Applications. North-Holland, 1993.