APA (7th ed.) Citation

International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, HOA Paderborn, Germany, Dowek, G., Heering, J., Meinke, K., & Möller, B. (1996). Higher-order algebra, logic and term rewriting. Springer.

Chicago Style (17th ed.) Citation

International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, HOA Paderborn, Germany, Guilles Dowek, Jan Heering, Karl Meinke, and Bernhard Möller. Higher-order Algebra, Logic and Term Rewriting. Berlin: Springer, 1996.

MLA (9th ed.) Citation

International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, HOA Paderborn, Germany, et al. Higher-order Algebra, Logic and Term Rewriting. Springer, 1996.