APA (7th ed.) Citation

International Workshop on Higher-Order Algebra, Logic, and Term Rewriting Amsterdam, Netherlands, SpringerLink (Online service), & Heering, J. (1994). Higher-order algebra, logic, and term rewriting: First international workshop, HOA '93, Amsterdam The Netherlands, September 23-24, 1993 : selected papers. Springer-Verlag.

Chicago Style (17th ed.) Citation

International Workshop on Higher-Order Algebra, Logic, and Term Rewriting Amsterdam, Netherlands, SpringerLink (Online service), and J. Heering. Higher-order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam The Netherlands, September 23-24, 1993 : Selected Papers. Berlin ; New York: Springer-Verlag, 1994.

MLA (9th ed.) Citation

International Workshop on Higher-Order Algebra, Logic, and Term Rewriting Amsterdam, Netherlands, et al. Higher-order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam The Netherlands, September 23-24, 1993 : Selected Papers. Springer-Verlag, 1994.