APA (7th ed.) Citation

(1996). Higher order algebra, logic, and term rewriting: Second international workshop, HOA '95, Paderborn, Germany, September 21 - 22, 1995 ; selected papers. Springer. https://doi.org/10.1007/3-540-61254-8

Chicago Style (17th ed.) Citation

Higher Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 21 - 22, 1995 ; Selected Papers. Berlin [u.a.]: Springer, 1996. https://doi.org/10.1007/3-540-61254-8.

MLA (9th ed.) Citation

Higher Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 21 - 22, 1995 ; Selected Papers. Springer, 1996. https://doi.org/10.1007/3-540-61254-8.