(1996). Higher order algebra, logic, and term rewriting: Second international workshop, HOA '95, Paderborn, Germany, September 21 - 22, 1995 ; selected papers. Springer.
Chicago-Zitierstil (17. Ausg.)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.
MLA-Zitierstil (9. Ausg.)Higher Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 21 - 22, 1995 ; Selected Papers. Springer, 1996.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.