APA (7th ed.) Citation

HOL User's Group Workshop, Joyce, J. J., & Seger, C. H. (1994). Higher order logic theorem proving and its applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings. Springer-Verlag.

Chicago Style (17th ed.) Citation

HOL User's Group Workshop, Jeffrey J. Joyce, and Carl-Johan H. Seger. Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : Proceedings. Berlin ; New York: Springer-Verlag, 1994.

MLA (8th ed.) Citation

HOL User's Group Workshop, et al. Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : Proceedings. Springer-Verlag, 1994.