(1994). Higher-order algebra, logic, and term rewriting: First international workshop, HOA '93, Amsterdam The Netherlands, September 23-24, 1993 : selected papers / Jan Heering [and others], eds.
Čikaški stil citiranja (17. izdanje)Higher-order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam The Netherlands, September 23-24, 1993 : Selected Papers / Jan Heering [and Others], Eds. 1994.
MLA način citiranja (9. izdanje)Higher-order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam The Netherlands, September 23-24, 1993 : Selected Papers / Jan Heering [and Others], Eds. 1994.
Upozorenje: Ovi citati možda nisu uvijek 100% točni.